Cover Image
Read Now

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...

Full description

Bibliographic Details
Main Authors: Huisman, Marieke, Wijs, Anton (Author)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2023, 2023
Edition:1st ed. 2023
Series:Texts in Computer Science
Subjects:
Software Testing
Number Theory
Software Engineering
Computer Programs / Testing
Computational Number Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items