Dario Campagna

SAHA-Tool is a software, implemented in Objective Caml, for computing approximated solutions to the reachability problem in Semi-Algebraic Hybrid Automata, exploiting the miM-ra method.

The SAHA-Tool archive contains: source code, README file, script, licence.

The miM-ra method has been described in:
D. Campagna and C. Piazza
Hybrid Automata in System Biology: How far can we go?
In Proc. of Int. Workshop From Biology To Concurrency and back (FBTC'08), ENTCS, Elsevier Sciences, 2009.