A model checker for verification of liveness properties for linear hybrid automata.

To come soon...

If you are interested in the prototypic implementation, please send me an email.