Computation and Visualisation of Phase Portraits for Model Checking SPDIs
No abstract available.
Related papers
- A visualisation of polymorphic type checking JFP 2000
- Cognacy Queries over Dependence Graphs for Transparent Visualisations ESOP 2025
- Messir: a text-first DSL-based approach for UML requirements engineering (tool demo) SLE 2018
- Skeleton composition versus stable process systems in Eden JFP 2016
- The Bright Future of Debuggers: Challenges and Opportunities (Invited Talk) DLS 2023
- Linked visualisations via Galois dependencies POPL 2022
- Model checking copy phases of concurrent copying garbage collection with various memory models OOPSLA 2017
- Mechanizing Synthetic Tait Computability in Istari CPP 2026