Nmacedo
There is currently no content to view in this section.
Publications By Type
- Conference Paper (17)
- Journal Article (5)
- Report (4)
- Thesis (2)
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)
Recent Publications
