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