There are 3 Results with the keyword : "Adacore"
In 2014, Inria and the company AdaCore launched a joint laboratory (LabCom) called ProofInUse for a duration of three years. The purpose of this joint laboratory was to propose mathematical proof-based verification tools to industry, which aim to replace or complement the activities of existing tests whilst reducing verification costs.
After several months in construction, the ProofInUse joint laboratory is now fully operational. Today marked the official launch of work on development aimed at providing a range of verification tools for critical systems.
With the launch of a joint laboratory, the Toccata research team, which specialises in formal specification and computer-assisted proofs, is increasing its collaboration with AdaCore, the specialist publisher of development software for critical systems.