swMATH29626MaRDI QIDQ41340FDOQ41340
Author name not available (Why is that?)
Official website: https://homepages.cwi.nl/~sbohte/ustin/tmcrl.html
Cited In (42)
- Generation of abstract programming interfaces from syntax definitions
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
- Generalizing DPLL and satisfiability for equalities
- Lifting non-finite axiomatizability results to extensions of process algebras
- Sylvan
- Derivation tree analysis for accelerated fixed-point computation
- Analysing sanity of requirements for avionics systems
- Title not available (Why is that?)
- Cones and foci: A mechanical framework for protocol verification
- Thread algebra for noninterference
- Zero, successor and equality in BDDs
- From \(\mu\)CRL to mCRL2: motivation and outline
- Branching bisimulation games
- SIGREF
- M-TREE
- CADP
- APNN-Toolbox
- LTSmin
- iFEST
- STG
- JITty
- TVT
- VLTS Benchmark Suite
- ASF+SDF
- fc2tools
- Concurrency Workbench
- Multiparty contract signing over a reliable network
- Mec 5
- ACTLW
- Murphi
- VERSA
- AODV
- wRebeca
- Castor
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- An abstract interpretation toolkit for \(\mu\)CRL
- Extended beam search for non-exhaustive state space analysis
- A database approach to distributed state space generation
- An account of implementing applicative term rewriting
- Keeping secrets in resource aware components
- Model checking mobile ad hoc networks
- Discretization of timed automata in timed \(\mu\)CRL à la regions and zones
This page was built for software: mCRL
