mCRL
From MaRDI portal
Software:41340
No author found.
Related Items (21)
Model checking mobile ad hoc networks ⋮ Analysing sanity of requirements for avionics systems ⋮ Generation of abstract programming interfaces from syntax definitions ⋮ Cones and foci: A mechanical framework for protocol verification ⋮ Generalizing DPLL and satisfiability for equalities ⋮ An abstract interpretation toolkit for \(\mu\)CRL ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Unnamed Item ⋮ Lifting non-finite axiomatizability results to extensions of process algebras ⋮ Derivation tree analysis for accelerated fixed-point computation ⋮ Zero, successor and equality in BDDs ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Multiparty Contract Signing Over a Reliable Network ⋮ Thread algebra for noninterference ⋮ Branching Bisimulation Games ⋮ Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal ⋮ A Database Approach to Distributed State Space Generation ⋮ An Account of Implementing Applicative Term Rewriting ⋮ From μCRL to mCRL2 ⋮ Discretization of Timed Automata in Timed μCRL à la Regions and Zones ⋮ Keeping Secrets in Resource Aware Components
This page was built for software: mCRL
