An Overview of the Programatica Toolset
Thomas Hallgren, James Hook, Mark P. Jones, Richard B. Kieburtz · 2004
With ever increasing use of computers in safety and security critical applications, the need for trustworthy computer systems has never been greater. But how can such trust be established? For example, how can we be sure that our computer systems will not destroy or corrupt valuable data, compromise privacy, or trigger