|
Showing 1 - 1 of
1 matches in All Departments
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.