Exploiting Partial Knowledge for Efficient Model Analysis
Tags
- 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.