Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14500)
Included in the following conference series:
Conference proceedings info: VMCAI 2024.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 papers)
-
Front Matter
-
Probabilistic and Quantum Programs
-
Front Matter
-
-
Program and System Verification
-
Front Matter
-
-
Runtime Verification
-
Front Matter
-
-
Security and Privacy
-
Front Matter
-
Other volumes
-
Verification, Model Checking, and Abstract Interpretation
-
Verification, Model Checking, and Abstract Interpretation
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer programming
- computer systems
- distributed computer systems
- embedded systems
- formal logic
- logic programming
- mathematics
- model checking
- parallel processing systems
- program compilers
- programming languages
- software architecture
- software design
- software engineering
- software quality
- verification and validation
About this book
The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;
Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;
Editors and Affiliations
Bibliographic Information
Book Title: Verification, Model Checking, and Abstract Interpretation
Book Subtitle: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Editors: Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-50521-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Softcover ISBN: 978-3-031-50520-1Published: 03 January 2024
eBook ISBN: 978-3-031-50521-8Published: 29 December 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 340
Number of Illustrations: 37 b/w illustrations, 71 illustrations in colour
Topics: Theory of Computation, Mathematics of Computing, Logic in AI, Special Purpose and Application-Based Systems, Software Engineering/Programming and Operating Systems, Control Structures and Microprogramming