Cristina David

2PUBLICATIONS
6CO-AUTHORS
Formal methods for softwareModelling and simulation
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|May 16, 2023
Synthesising Programs with Non-trivial Constants.

Alessandro Abate, Haniel Barbosa, Clark Barrett

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

Alessandro Abate, Iury Bessa, Lucas Cordeiro

Pageof 1

Frequent Collaborators

1 joint publications

Alessandro Abate

1 joint publications

Iury Bessa

1 joint publications

Lucas Cordeiro

1 joint publications

Pascal Kesseli