Get Free Shipping on orders over $89
Model Checking Software : 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings - Alfons Laarman

Model Checking Software

27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings

By: Alfons Laarman (Editor), Ana Sokolova (Editor)

Paperback | 3 August 2021

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Expert Systems & Knowledge-Based Systems

AI ChatBots For Dummies : For Dummies (Computer/Tech) - Kelly Noble Mirabella
Agentic AI For Dummies : For Dummies (Computer/Tech) - Pam Baker
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Artificial Intelligence For Dummies : For Dummies (Computer/Tech) - John Paul Mueller
Beyond Vibe Coding : From Coder to Ai-Era Developer - Addy Osmani

RRP $133.00

$106.40

20%
OFF