Rigorous software development an introduction to program verification
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Published: |
London
Springer
2011
|
| Series: | Undergraduate topics in computer science
|
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag
Table of Contents:
- Introduction
- An overview of formal methods tools and techniques
- Propositional logic
- First-order logic
- Hoare logic
- Generating verification conditions
- Safety properties
- Procedures and contracts
- Specifying C programs
- Verifying C
Systems and software verification model-checking techniques and tools