Pinned Repositories
PTCRISync
PTCRISync
Alloy4Fun
A webapp for developing and sharing Alloy models
echo
A tool for model repair and transformation
Electrum
A model checker for relational first-order temporal specifications
Pardinus
An extension of the Kodkod relational model finder
A4F-Metrics
Scripts to manage Alloy4Fun data
ColorfulElectrum
A model checker for relational first-order temporal specifications
HAMSTERS-Alloy
Formalisation of HAMSTERS task models in Alloy.
haros_plugin_mc
MSV
nmacedo's Repositories
nmacedo/HAMSTERS-Alloy
Formalisation of HAMSTERS task models in Alloy.
nmacedo/haros_plugin_mc
nmacedo/A4F-Metrics
Scripts to manage Alloy4Fun data
nmacedo/ColorfulElectrum
A model checker for relational first-order temporal specifications
nmacedo/MSV
nmacedo/electrod
Formal analysis for the Electrod formal specification language
nmacedo/mame
MAME
nmacedo/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.
nmacedo/pygments-electrum
Syntax highlighting for Electrum