Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings (Lecture Notes in Computer Science, Band 16417) - Softcover

 
9783032156990: Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings (Lecture Notes in Computer Science, Band 16417)
Softcover
ISBN 10: 3032156998 ISBN 13: 9783032156990
Verlag: Springer, 2026

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2026
Sprache
Englisch
ISBN 10 
3032156998
ISBN 13 
9783032156990
Einband
Taschenbuch
Anzahl der Seiten
432
Herausgeber
Chen Yu-Fang, Jensen Thomas, Lengál Ondřej
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland