Home	•	Wiki	•	Doc	•	FAQ	•	Download	•	FM Tools

HybridSal

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.

Wiki (includes a guide to installing Hybrid SAL)
Documentation (slightly outdated)
FAQ (Frequently Asked Questions)
Download

HybridSal is one of the SRI FormalWare tools.

Home	•	Wiki	•	Doc	•	FAQ	•	Download	•	FM Tools

Last modified: Tue 22 Apr 2008 16:18 PDT
Maintainer: Ashish Tiwari