Daniel Kroening

2PUBLICATIONS
6CO-AUTHORS
Modelling and simulationFormal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Mar 20, 2020
Automated formal synthesis of provably safe digital controllers for continuous plants.

Alessandro Abate, Iury Bessa, Lucas Cordeiro

|Sep 06, 2017
Program synthesis: challenges and opportunities.

Cristina David, Daniel Kroening

Pageof 1

Frequent Collaborators

1 joint publications

Alessandro Abate

1 joint publications

Iury Bessa

1 joint publications

Lucas Cordeiro

1 joint publications

Cristina David