Checking the Correctness of What-If Scenarios
- Citation:
- Carvalho M, Belo O, Macedo N. 2017. Checking the Correctness of What-If Scenarios. 11th IFIP WG 8.9 Working Conference (CONFENIS 2017).
Citation Key:
3713Tags
- 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.