Verification, model checking, and abstract interpretation
25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part II
Autor/Mitarbeiter:
Dimitrova, Rayna
,
Lahav, Ori
,
Wolff, Sebastian
Verlagsort,
Verlag,
Jahr:
Cham, Switzerland,
Springer,
[2024]
Umfang:
1 Online-Ressource (xviii, 340 Seiten)
ISBN:
9783031505218
Schlagwörter:
Programmanalyse
,
Programmverifikation
,
Model Checking
,
Abstrakte Interpretation
,
Formale Methode
Inhaltstyp/Datenträger:
Konferenzschrift
Reihe/Zeitschrift : Lecture notes in computer science
:
Alle Einzelbände
3871036
BV049492220
1418703868
9783031505218
Verification, model checking, and abstract interpretation ([2024])