Showing page 1 of 1.
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.116 weekly downloads
A collection of modeling tools for system comprehension. Includes 1) DEMOS2K - a semantically justified version of DEMOS 2) SAVANT - a tool for evaluating system availability 3) GOLDSTAR - an arbitrary reward calculation system.1 weekly downloads
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...1 weekly downloads