nmacedo

FEUP & INESC TECPortugal

Pinned Repositories

PTCRISync
PTCRISync
Language:Java1 7 01
Alloy4Fun
A webapp for developing and sharing Alloy models
Language:JavaScript22 7 1294
echo
A tool for model repair and transformation
Language:Java12 7 1793
Electrum
A model checker for relational first-order temporal specifications
Language:Java27 10 694
Pardinus
An extension of the Kodkod relational model finder
Language:Java5 5 386
A4F-Metrics
Scripts to manage Alloy4Fun data
Language:Java00
ColorfulElectrum
A model checker for relational first-order temporal specifications
Language:Java01
HAMSTERS-Alloy
Formalisation of HAMSTERS task models in Alloy.
Language:Alloy20
haros_plugin_mc
Language:Python1 0 00
MSV
Language:Alloy0 1 00

nmacedo's Repositories

nmacedo/HAMSTERS-Alloy
Formalisation of HAMSTERS task models in Alloy.
Language:Alloy20
nmacedo/haros_plugin_mc
Language:Python1 0 00
nmacedo/A4F-Metrics
Scripts to manage Alloy4Fun data
Language:Java00
nmacedo/ColorfulElectrum
A model checker for relational first-order temporal specifications
Language:Java01
nmacedo/MSV
Language:Alloy0 1 00
nmacedo/electrod
Formal analysis for the Electrod formal specification language
Language:OCaml
nmacedo/mame
MAME
Language:C++0 0
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.
Language:Java
nmacedo/pygments-electrum
Syntax highlighting for Electrum
Language:Python