Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
in terms
- Citation:
- Macedo N, Brunel J, Chemouil D, Cunha A, Kuperberg D. 2016. Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016).
Citation Key:
MacedoBCCK:16Tags
- Lenses (1)
- ETL (1)
- Invariants (1)
- MDE (12)
- Model checking (3)
- Model finding (1)
- Model repair (3)
- Non-determinism (1)
- Projects (3)
- Publications (4)
- TLA (1)
- Tool (4)
- Alloy Analyzer (1)
- Kodkod (1)
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.