Popular repositories Loading

1. Robustness Robustness Public

   DEPRECATED: checkout our new implementation, Fortis. The Robustness Calculator implementation for FSE 20 paper.

   Kotlin 5 5

2. fortis-core fortis-core Public

   Fortis, a tool for systematically compute robustness and robustify a system design based on LTS.

   Kotlin 3 2

3. carini carini Public

   Forked from cmu-soda/recomp-verify

   This tool synthesizes symbolic assumptions for TLA+ specifications.

   Java 2

4. AlloyMax AlloyMax Public

   Forked from AlloyTools/org.alloytools.alloy

   AlloyMax is an extension of Alloy with a capability to express and analyze problems with optimal solutions. It introduces (1) a small addition of language constructs that can be used to specify a w…

   Java 1 1

5. STL-Robustness STL-Robustness Public

   C++ 1 1

6. transitional-robustness transitional-robustness Public

   Forked from iandardik/LTS-Robustness

   Kotlin 1 1