Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers

por Giannakopoulou, Dimitra, Kroening, Daniel
Publicado 2014

Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II

por Kroening, Daniel, Păsăreanu, Corina S
Publicado 2015

Program synthesis: challenges and opportunities

por David, Cristina, Kroening, Daniel
Publicado 2017

Validation of evolving software

por Chockler, Hana, Kroening, Daniel, Mariani, Leonardo
Publicado 2015

Under-approximating loops in C programs for fast counterexample detection

por Kroening, Daniel, Lewis, Matt, Weissenbacher, Georg
Publicado 2015

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration

por Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter, Kroening, Daniel
Publicado 2020

Automated formal synthesis of provably safe digital controllers for continuous plants

por Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth
Publicado 2019

Synthesising Programs with Non-trivial Constants

por Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare
Publicado 2023