Concise Guide to Software Verification From Model Checking to Annotation Checking /
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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Körperschaft: | |
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Ausgabe: | 1st ed. 2023. |
| Schriftenreihe: | Texts in Computer Science,
|
| Schlagworte: | |
| Online-Zugang: | https://doi.org/10.1007/978-3-031-30167-4 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Inhaltsangabe:
- 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.