Great news!

Springer has agreed to publish the truss chapter online as a PDF for marketing of our C++ verification book. This is great news as this chapter in more details describes the methodology of truss, one of our open-source libraries. So if you are interested in finding out more about what this site is about please download the chapter directly from springer. Our book focuses on much more then our open source libraries teal and truss, about half of the book talks about good object oriented practice as applied for verification.

powered by performancing firefox