The following pages link to mCRL2 (Q14230):
Displaying 50 items.
- Analysing sanity of requirements for avionics systems (Q282095) (← links)
- Input-output conformance testing for software product lines (Q338614) (← links)
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- A formal semantics of extended hierarchical state transition matrices using CSP\# (Q736828) (← links)
- Improving parity game solvers with justifications (Q784159) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Product line process theory (Q898612) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- Invariants for parameterised Boolean equation systems (Q960855) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- Modeling and verification of reconfigurable printing system based on process algebra (Q1721623) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker (Q2065535) (← links)
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets (Q2096425) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Off-the-shelf automated analysis of liveness properties for just paths (extended abstract) (Q2117021) (← links)
- A set automaton to locate all pattern matches in a term (Q2119959) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- Term rewriting on GPUs (Q2145278) (← links)
- Off-the-shelf automated analysis of liveness properties for just paths (Q2182670) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
- Interface automata for shared memory (Q2675806) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q2693301) (← links)
- Branching Bisimulation Games (Q2827464) (← links)
- (Q2888201) (← links)
- Specification Guidelines to Avoid the State Space Explosion Problem (Q2894558) (← links)
- Saving Space in a Time Efficient Simulation Algorithm (Q2895774) (← links)
- Symbolic Analysis Tools for CSP (Q2938170) (← links)
- (Q2989007) (← links)
- Verification of Context-Dependent Channel-Based Service Models (Q3066118) (← links)
- Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (Q3066124) (← links)
- (Q3191614) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations (Q3584957) (← links)
- A Formal Calculus for Informal Equality with Binding (Q3612660) (← links)
