alcinocunha's Stars
git-afsantos/haros
H(igh) A(ssurance) ROS - Static analysis of ROS application code.
haslab/Electrum2
Electrum is a temporal extension to 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.
haslab/Electrum
A model checker for relational first-order temporal specifications
haslab/Alloy4Fun
A webapp for developing and sharing Alloy models
haslab/echo
A tool for model repair and transformation
nmacedo/HAMSTERS-Alloy
Formalisation of HAMSTERS task models in Alloy.
tiagojrg/BX-Tools-CaseStudies
Evaluating tools supporting bidirectional model transformations (BX) - some case studies implementation and assessment
nmacedo/haros_plugin_mc