HOL - Logiciel de téléchargement gratuit Pour Linux Dans L'assurance de la qualité et des logiciels de test

HOL 7

HOL court à partir d'ordre supérieur Logic est un environnement de programmation dans lequel théorèmes peuvent être prouvées et les outils de preuve mis en œuvre.Procédures de décision intégrés et démonstrateurs peuvent automatiquement établir...