Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

Investigate the contributions of Watts Humphrey and G. J. Myers to software trustworthiness.

Find the current state of development and utilization of Praxis High Integrity Systems Z on the Internet.