Nuno Macedo's repositories
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Language:JavaNOASSERTION000
Language:Alloy000
pygments-electrum
Syntax highlighting for Electrum
Language:PythonGPL-2.0000
HAMSTERS-Alloy
Formalisation of HAMSTERS task models in Alloy.
mame
MAME
NOASSERTION000
A4F-Metrics
Scripts to manage Alloy4Fun data
Language:Java000
ColorfulElectrum
A model checker for relational first-order temporal specifications
Language:Java000
electrod
Formal analysis for the Electrod formal specification language
Language:OCamlMPL-2.0000