Toccata

Formally Verified Programs, Certified Tools and Numerical Computations

• Accueil
• Membres
• Logiciels
  • Logiciels
  • Galerie de
    programmes vérifiés
• Projets
• Publications
• Postes

see also the index (by topic, by tool, by reference, by year)

Matteo Manighetti

https://toccata.gitlabpages.inria.fr/toccata/

• A Correct-by-Construction Checker for Constraints on a Railway-Oriented Databases

see also the index (by topic, by tool, by reference, by year)