OCamlPro
Founded in 2011
Education TechBusiness (B2B)Blockchain / CryptoCommunications and information technologyServiceFinancial servicesConsultingOSS+5 more
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...
🔥
👍
💩
Team members (0 of 0)
No team members found
Team member data will appear here when available
Suggested Companies