Verification, model checking, and abstract interpretation: 24th international conference, vmcai 2023, boston, ma, usa, january 16–17, 2023, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031249495
Date de publication :
17 janv. 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.