Model Checking Software

Bücher

Angebote / Angebote:

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 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.