Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13182)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: VMCAI 2022.
Buy print copy
About this book
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.
The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Similar content being viewed by others
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer networks
- computer programming
- computer science
- computer systems
- embedded systems
- engineering
- formal logic
- internet
- mathematics
- model checking
- software architecture
- software design
- software engineering
- software quality
- verification
- verification and validation
Table of contents (24 papers)
-
Back Matter
Other volumes
-
Verification, Model Checking, and Abstract Interpretation
Editors and Affiliations
Bibliographic Information
Book Title: Verification, Model Checking, and Abstract Interpretation
Book Subtitle: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Editors: Bernd Finkbeiner, Thomas Wies
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-94583-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-030-94582-4Published: 14 January 2022
eBook ISBN: 978-3-030-94583-1Published: 13 January 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 520
Number of Illustrations: 74 b/w illustrations, 80 illustrations in colour
Topics: Theory of Computation, Mathematical Logic and Foundations, Artificial Intelligence, Computer Communication Networks