Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings

Yu-Fang Chen, Thomas Philip Jensen, Ondřej Lengál (Herausgeber)

Buch | Softcover

2026
Springer International Publishing (Verlag)
978-3-032-15699-0 (ISBN)

Infos

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.

Produkt-Details

• Erscheint lt. Verlag: 18.3.2026
• Reihe/Serie: Lecture Notes in Computer Science
• Zusatzinfo: Approx. 400 p.
• Verlagsort: Cham
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Schlagworte: 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
• ISBN-10: 3-032-15699-8 / 3032156998
• ISBN-13: 978-3-032-15699-0 / 9783032156990
• Zustand: Neuware