Tool title |
Title of page above |
Type |
Open Source |
Owner/Source |
NASA Ames RSE Group |
Link |
|
Description |
Zustre is a modular SMT-based PDR-style verification engine for Lustre programs. It is also an engine to generate assume-guarantee style contract. |
User |
ARC |
SWE |
SWE-060 |
