Books > Computing & IT > Computer communications & networking
|
Buy Now
Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Paperback, 1st ed. 2022)
Loot Price: R2,918
Discovery Miles 29 180
|
|
Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Paperback, 1st ed. 2022)
Series: Lecture Notes in Computer Science, 13255
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.