1996 IEEE Workshop on High-Assurance Software Engineering: Hase 96

This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.