fc2tools
From MaRDI portal
Software:24315
No author found.
Related Items (11)
On process equivalence = equation solving in CCS ⋮ Bisimulation minimization and symbolic model checking ⋮ Advances in verification of time Petri nets and timed automata. A temporal logic approach. ⋮ Event based choreography ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Refined Interfaces for Compositional Verification ⋮ Towards Performance Prediction of Compositional Models in Industrial GALS Designs ⋮ Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems ⋮ Pragmatics of model checking: An STTT special section ⋮ Planning proofs of equations in CCS ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for software: fc2tools
