Popular repositories Loading

1. jkind jkind Public

   JKind - An infinite-state model checker for safety properties in Lustre

   Java 55 34

2. formal-methods-workbench formal-methods-workbench Public

   C 22 8

3. AGREE AGREE Public

   Assume-Guarantee REasoning Environment

   Java 18 5

4. CASE CASE Public

   DARPA CASE program

   Assembly 13 7

5. AMASE AMASE Public

   This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).

   Java 7 4

6. jkind-xtext jkind-xtext Public

   Lustre Plug-in for Eclipse with JKind Analysis Support

   Java 5 2