There are 1 Results with the keyword : "ProofInUse"
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.
Inria Research Centers
- Saclay (1)