XTL
From MaRDI portal
Cited in
(11)- SCADE
- TIMES
- BISIMULATOR
- M-TREE
- Exp.Open
- Distributed branching bisimulation reduction of state spaces
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- DLC
- LNT2LOTOS
- Counterexample guided synthesis of monitors for realizability enforcement
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
This page was built for software: XTL
