TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-031-15077-7
DO  - doi
AB  - 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.
T1  - Model checking software :28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings /
DA  - 2022.
CY  - Cham :
AU  - Legunsen, Owolabi.
AU  - Roşu, Grigore.
VL  - 13255
CN  - QA76.76.V47
PB  - Springer,
PP  - Cham :
PY  - 2022.
N1  - Includes author index.
ID  - 1449018
KW  - Computer software
KW  - Software engineering
KW  - Computer software
SN  - 9783031150777
SN  - 3031150775
TI  - Model checking software :28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15077-7
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15077-7
ER  -