Rigorous Software Development An Introduction to Program Verification /
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathem...
Κύριοι συγγραφείς: | , , , |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London :
Springer London : Imprint: Springer,
2011.
|
Σειρά: | Undergraduate Topics in Computer Science,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- List of Figures
- 1. Introduction
- 2. An Overview of Formal Methods Tools and Techniques
- 3. Propositional Logic
- 4. First-Order Logic
- 5. Hoare Logic
- 6. Generating Verification Conditions
- 7. Safety Properties
- 8. Procedures and Contracts
- 9. Specifying C Programs
- 10. Verifying C Programs
- Bibliography
- Index.