Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
1st ed. 2021
Series:
Lecture Notes in Computer Science (Book 12864)
Author:
Alfons Laarman, Ana Sokolova
ISBN:
9783030846299
Related ISBNs:
9783030846282
Publisher:
Springer International Publishing
Pages:
N/A
Reading age:
Not specified
Includes images:
Yes
Date of addition:
2021-08-19
Usage restrictions:
Copyright
Copyright date:
2021
Copyright by:
Springer Nature Switzerland AG 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy