Skip to main content

Five papers from the department to be presented at CAV 2017


The conference on Computer Aided Verification is the premier event in algorithmic verification. Members of the department will contribute a total of five presentations to the programme of this distinguished event, which takes place this July in Heidelberg. 

Safety Verification of Deep Neural Networks
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu

Abstract Interpretation with Unfoldings
Marcelo Sousa
, César Rodríguez, Vijay D’Silva, Daniel Kroening

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
Alessandro Abate
, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks
Luca Cardelli, Milan Ceska,Martin Franzle, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby

Quantitative Assume Guarantee Synthesis
Shaull Almagor
, Orna Kupferman, Jan Oliver Ringert, Yaron Velner