Currently Out Of Stock
Model checking software
Paperback
€126.00
Collect 378 Reward Points
- Currently Out Of Stock
- Book Synopsis
- This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
- Product Details
-
- ISBN
- 9783031150760
- Format
- Paperback
- Publisher
- Springer, (23 August 2022)
- Number of Pages
- 153
- Weight
- 245 grams
- Language
- English
- Dimensions
- 235 x 155 x 9 mm
- Series:
- See all books in this series
- Categories: