Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
Exploiting Partial Knowledge for Efficient Model Analysis
in
terms
Kodkod
MDE
Model finding
Publications
Tool
TRUST
Citation:
Macedo N, Cunha A, Pessoa E. 2017. Exploiting Partial Knowledge for Efficient Model Analysis.
Export
Tagged
XML
BibTex
Google Scholar
Citation Key:
MacedoCP:17
Preview
Attachment
Size
Preview
Attachment
Size
symbolic17atva.pdf
444.81 KB
Tags
Bidirectional transformation
(5)
Lenses
(1)
ETL
(1)
Invariants
(1)
MDE
(12)
Model checking
(3)
Model finding
(1)
Model repair
(3)
Model transformation
(1)
Non-determinism
(1)
Projects
(3)
NanoSTIMA
(1)
TRUST
(2)
Publications
(4)
Relational calculus
(3)
Specification language
(5)
Alloy
(4)
Electrum
(1)
TLA
(1)
Tool
(4)
Alloy Analyzer
(1)
Electrum Analyzer
(1)
Kodkod
(1)
loading