

Founded in 2011
Formal methods: in charge of formal methods projects for assessing the benefits of a formal workflow (usually specification and verification) and/or implementing one. Projects conducted so far have been mostly in the field of critical embedded systems. Such projects used SMT-solving, (lightweight) t...
No team members found
Team member data will appear here when available