Popular repositories Loading

1. validAlloy validAlloy Public

   A tool for validating Alloy specifications using test-case generation

   Java 5

2. 500lines 500lines Public

   Forked from aosabook/500lines

   500 Lines or Less

   TeX 3 3

3. SOP SOP Public

   2 1

4. MappingSynthesisTool MappingSynthesisTool Public

   This repository contains a prototype implementation of the Mapping Synthesis Tool.

   Alloy 1

5. RosAlloy RosAlloy Public

   Model of ROS in Alloy for security analysis

   Alloy 1

6. 2PC-FSP 2PC-FSP Public

   Forked from qhr961217-CMU/2PC-FSP

   Two-Phase Commit Analysis with FSP

   1