Roberto Bruttomesso
23
Abonné
Personal Information
Entreprise/Lieu de travail
Trento Area, Italy Italy
Profession
Research Engineer
Secteur d’activité
Technology / Software / Internet
Site Web
http://www.bruttomesso.eu/roberto
À propos
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.
Mots-clés
opensmt
mathematical logic
bit-vectors
sat
smt
formal methods
smt-solvers
Tout plus
- Présentations
- Documents
- Infographies