Nuno Macedo nmacedo

Achievements

Achievements

Highlights

• Pro

Organizations

Pinned Loading

1. haslab/Pardinus haslab/Pardinus Public

   Forked from emina/kodkod

   An extension of the Kodkod relational model finder

   Java 6 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 31 4

4. haslab/Alloy4Fun haslab/Alloy4Fun Public

   Forked from jmcPereira/Alloy4FunWebApp

   A webapp for developing and sharing Alloy models

   JavaScript 27 8

5. haslab/echo haslab/echo Public

   A tool for model repair and transformation

   Java 13 3

6. MSV MSV Public

   Alloy