HybridSal -- A language extension to SAL for specifying Hybrid Systems
and a tool that performs Hybrid Abstraction (PDF) to
automatically generate discrete SAL specifications that can be model
checked by other SAL tools.
HybridSAL has been used in Symbolic
Systems Biology to analyze hybrid systems with tens of continuous variables.
