Pages that link to "Item:Q5326326"
From MaRDI portal
The following pages link to An Overview of the mCRL2 Toolset and Its Recent Advances (Q5326326):
Displayed 22 items.
- Input-output conformance testing for software product lines (Q338614) (← links)
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
- Branching Bisimulation Games (Q2827464) (← links)
- (Q3384882) (← links)
- Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- (Q5114827) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (Q5278211) (← links)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (Q6162221) (← links)
- Better automata through process algebra (Q6163884) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)
- Justifications and a reconstruction of parity game solving algorithms (Q6175109) (← links)