High Assurance System Software

Klein, G. and Huuck, R.

This paper describes an approach to developing high assurance system software. We demonstrate how different formal methods can be applied in the development process by matching specific techniques and tools to the different levels of system requirements and how those techniques can complement each other.

Cite as: Klein, G. and Huuck, R. (2005). High Assurance System Software. In Proc. Tenth Australian Workshop on Safety-Related Programmable Systems (SCS 2005), Sydney, Australia. CRPIT, 55. Cant, T., Ed. ACS. 59-67.

(from crpit.com) (local if available)