Pinned Repositories
SpeAR
Specification and Analysis for Requirements Tool
jkind
pattern-observers
A repository that captures the derived Lustre and Simulink Design Verifier synchronous observers for the specification patterns work at http://patterns.projects.cis.ksu.edu/
SIMPAL
Static IMPerative AnaLyzer
SpeAR
Specification and Analysis for Requirements Tool
AGREE
Assume-Guarantee REasoning Environment
CASE
DARPA CASE program
formal-methods-workbench
jkind
JKind - An infinite-state model checker for safety properties in Lustre
smaccm
lgwagner's Repositories
lgwagner/SpeAR
Specification and Analysis for Requirements Tool
lgwagner/SIMPAL
Static IMPerative AnaLyzer
lgwagner/jkind
lgwagner/pattern-observers
A repository that captures the derived Lustre and Simulink Design Verifier synchronous observers for the specification patterns work at http://patterns.projects.cis.ksu.edu/