Building High Integrity Applications with SPARK

Building High Integrity Applications with SPARK

McCormick, John W. (University of Northern Iowa); Chapin, Peter C.

Cambridge University Press






15 a 20 dias

This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
1. Introduction and overview; 2. The basic SPARK language; 3. Programming in the large; 4. Dependency contracts; 5. Mathematical background; 6. Proof; 7. Interfacing with SPARK; 8. Software engineering with SPARK; 9. Advanced techniques.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.