Abbrevation
VMCAI
City
Nice
Country
France
Deadline Paper
Start Date
End Date
Abstract
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross–fertilization, and advancement of hybrid methods that combine the three areas. <b>Keywords:</b> program verification<br>program certification<br>model checking<br>debugging techniques<br>abstract interpretation<br>abstract domains<br>static analysis<br>type systems<br>deductive methods<br>optimization<br>