Lecture Notes in Computer Science: 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings

Chen, Yu-Fang; Jensen, Thomas; Lengál, Ondřej

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.

Details

Published by: Springer

Publication Date: 2026-01-13

Format: Paperback

ISBN-13: 9783032156990

DOI: 10.1007/978-3-032-15700-3

Dimensions: 235cm x155cm

Pages: 410