GitHub - nevrenato/IRI_FMI_Annex: This repository contains an Alloy model of a DCR graph, along with its encoding to CASL · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Alloy2CaslDcr.het		Alloy2CaslDcr.het
bigcasestudy.als		bigcasestudy.als
casestudy.als		casestudy.als
latex8.pdf		latex8.pdf
pretty.thm		pretty.thm

About

This repository contains an Alloy model of a DCR graph, along with its encoding to CASL

Report repository

Releases

No releases published

Packages

Contributors