The following pages link to (Q4551157):
Displayed 23 items.
- mCRL (Q41340) (← links)
- 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)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← 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)
- 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)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- A Framework for Automatically Checking Anonymity with μCRL (Q3608464) (← links)
- Thread algebra for noninterference (Q3625692) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)