Model Checking Software, 1st ed. 2021 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Laarman Alfons, Sokolova Ana
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.
Date de parution : 08-2021
Ouvrage de 195 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes de Model Checking Software :
Mots-clés :
architecture verification and validation; artificial intelligence; computer hardware; computer programming; computer systems; distributed computer systems; embedded systems; formal logic; formal methods; graph theory; model checking; object-oriented programming; parallel processing systems; software architecture; software design; software engineering; software quality; theoretical computer science; verification and validation