Personal Information
Organization / Workplace
Trento Area, Italy Italy
Occupation
Research Engineer
Industry
Technology / Software / Internet
About
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.
Contact Details
Tags
opensmt
mathematical logic
bit-vectors
sat
smt
formal methods
smt-solvers
See more
Users following Roberto Bruttomesso