Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Springer
ISBN 978-3-031-50520-1
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2024
37 s/w-Abbildungen, 71 Farbabbildungen.
In englischer Sprache
Umfang: xviii, 340 S.
Format (B x L): 15,5 x 23,5 cm
Gewicht: 551
Verlag: Springer
ISBN: 978-3-031-50520-1
Produktbeschreibung
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;
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com