Home Wiki Doc FAQ Download FM Tools


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.

HybridSal is one of the SRI FormalWare tools.

Home Wiki Doc FAQ Download FM Tools

Last modified: Fri 15 Dec 2017 06:28 PST
Maintainer: Ashish Tiwari