Building High Integrity Applications with SPARK
-10%
portes grátis
Building High Integrity Applications with SPARK
McCormick, John W. (University of Northern Iowa); Chapin, Peter C.
Cambridge University Press
08/2015
382
Mole
Inglês
9781107656840
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.
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.
