Tools
(Redirected from CoFITools)
Heterogeneous Tool Set
The Heterogeneous Tool Set is the central parsing, analysis and prover integration tool for CASL and its extensions. Hets is free software.
- Hets home page
- Try out Hets quickly, using the Web-based interface
- Download Hets
- Hets user guide
- Hets source code and information for Hets developers
Currently, Hets integrates the following provers:
Other tools
- CASL consistency checker (a prototype)
- CASLtoPVS (a prototype)
- CATS, the CASL tool set (now outdated and superseded by Hets)
- HOL-CASL (now outdated and superseded by Hets)