HyLoUtils: small tools for hybrid logics
HyLoUtils contains currently two small programs:
- mcheck: a model checker
- rewriter: a formula rewriter
The Implementation
HyLoUtils is implemented in Haskell, and the library is generated using the Glasgow Haskell Compiler.
Download
The haskell source can be downloaded with
Last updated:
November, Tuesday the 11th, 2008 at 12:17:07,000000 pm, ART (-03:00)