SIVENTURA

SIVENTURA provides consulting and develops secure code for critical systems based on formal methodologies for its customers, mainly distributed over the US and Europe.

The product portfolio uses extensive open-source software and leverages programming languages (F#, OCaml, F-Star), tools such as Sat-Solvers (Z3) and Theorem Provers (Coq, Isabelle), as well as services of formal specification of programs.

SIVENTURA has an active upstream R&D activity. Our team follows closely the technological evolution to invent tomorrow’s products and services. Our staff has been involved in many joint R&D Projects in formal methods and software development and has significant experience in collaborative research.

With expertise and its research-based technology in mathematical formal methods, representation, and theorem-proving algorithms and tools, SIVENTURA brings added value to all its projects and customers.

Google Sites

Report abuse