The following pages link to mCRL (Q41340):
Displaying 21 items.
- Analysing sanity of requirements for avionics systems (Q282095) (← links)
- Derivation tree analysis for accelerated fixed-point computation (Q549189) (← links)
- Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- An abstract interpretation toolkit for \(\mu\)CRL (Q883139) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Zero, successor and equality in BDDs (Q1772774) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- Multiparty contract signing over a reliable network (Q2804932) (← links)
- Branching Bisimulation Games (Q2827464) (← links)
- A database approach to distributed state space generation (Q2866323) (← links)
- An account of implementing applicative term rewriting (Q2866805) (← links)
- Keeping secrets in resource aware components (Q2870285) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- Thread algebra for noninterference (Q3625692) (← links)
- (Q4806211) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)
