Pinned Loading

1. haslab/Pardinus haslab/Pardinus Public

   Forked from emina/kodkod

   An extension of the Kodkod relational model finder

   Java 5 6

2. fccn/PTCRISync fccn/PTCRISync Public

   PTCRISync

   Java 1 1

3. haslab/Electrum haslab/Electrum Public

   A model checker for relational first-order temporal specifications

   Java 27 4

4. haslab/Alloy4Fun haslab/Alloy4Fun Public

   Forked from jmcPereira/Alloy4FunWebApp

   A webapp for developing and sharing Alloy models

   JavaScript 21 4

5. haslab/echo haslab/echo Public

   A tool for model repair and transformation

   Java 12 3

6. MSV MSV Public

   Alloy