Buch, Englisch, 410 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 651 g
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
Buch, Englisch, 410 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 651 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-15699-0
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Technische Informatik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
