HGen: A Random Generator of Hybrid Formulas

Main Features

  • Generates formulas for hybrid logics up to H(@,E,D,◊‾,↓)

The Implementation

Our TODO list includes:

  • Bla.

Documentation

Download

The haskell source can be downloaded from

http://trac.loria.fr/projects/hgen

InToHyLo

 

Tools
HyLoRes
HTab
HyLoRun
HyLoBan
HGen
Other
Demos
Links
References
The Developers