mCRL
From MaRDI portal
Software:41340
swMATH29626MaRDI QIDQ41340FDOQ41340
Author name not available (Why is that?)
Cited In (21)
- 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
- 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
- Multiparty contract signing over a reliable network
- 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
