This folder contains examples files and commands ro run hycomp.

This folder contains:
 - README: this file.
 - discretization: examples and scripts to construct the discretize
   transition system of a hybrid automata network. 
 - invar: examples and scripts to run invariant verification.
 - ltl: examples and scripts to run ltl verification.
 - scenarios: examples and scripts to run scenario verification.
 - nonlinear: examples and scripts to run invariant verification for
   non-linear hybrid systems.
 - param: examples and scripts to run parameter synthesis
 - dumpvmt: examples and scripts to write the verification modulo
   theory (VMT) file

