nevrenato/HetsAlloy
Adds Alloy to Hets
Developer Profile
nevrenato
Discovered public repositories for nevrenato in the GitHub catalog.
nevrenato/HTab2HCASL
A translator that given an input file in hylolib format, returns another with an equivalent specification in HCASL
nevrenato/IRI_FMI_Annex
This repository contains an Alloy model of a DCR graph, along with its encoding to CASL
nevrenato/HyLoRes_Source
This is an updated version of the HyLoRes source code
nevrenato/Hybrid_package
Hybrid Provers Package
nevrenato/Hets_Fork
A new branch of Hets, where I extend it with new functionalities, in the context of my Thesis
nevrenato/CSAIL_Git
MODELING GIT WITH ALLOY