Concise Guide to Software Verification [E-Book] : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs.
Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques that can be used to improve software reliability and robustness. This concise volume overviews the whole spectrum of formal methods and techn...
Saved in:
Full text |
|
Personal Name(s): | Huisman, Marieke, author |
Wijs, Anton, author | |
Edition: |
1st edition 2023. |
Imprint: |
Cham :
Springer,
2023
|
Physical Description: |
IX, 248 pages 146 illustrations, 127 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783031301674 |
DOI: |
10.1007/978-3-031-30167-4 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Texts in Computer Science
|
Subject (LOC): |
- 1. Introduction
- 2. Background on First-Order Logic and Set Theory
- 3. System Modelling
- 4. Crash Course on Temporal Logic and its Verification
- 5. Software Analysis
- 6. Crash Course on Design by Contract Specifications
- 7. Run-time checking of Design by Contract Specifications
- 8. Static Checking of Design by Contract Specification
- 9. Abstract Specifications.