Title:
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author:
Huisman, Marieke. author.
ISBN:
9783031301674
Edition:
1st ed. 2023.
Physical Description:
IX, 248 p. 146 illus., 127 illus. in color. online resource.
Series:
Texts in Computer Science,
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.
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-30167-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 520525-1001 | XX(520525.1) | Searching... | Searching... |