Roberto Bruttomesso
23
Followers
Personal Information
Unternehmen/Arbeitsplatz
Trento Area, Italy Italy
Beruf
Research Engineer
Branche
Technology / Software / Internet
Webseite
http://www.bruttomesso.eu/roberto
Info
Research and Development in the context of model-based engineering for avionics and automotive, with focus on requirements validation, safety analysis, and automated test generation.
Tags
opensmt
mathematical logic
bit-vectors
sat
smt
formal methods
smt-solvers
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken