Pages that link to "Item:Q4697197"
From MaRDI portal
The following pages link to An action-based framework for veryfying logical and behavioural properties of concurrent systems (Q4697197):
Displaying 15 items.
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Compositionality and bisimulation: A negative result (Q1182130) (← links)
- Model checking for action-based logics (Q1326587) (← links)
- Assisting requirement formalization by means of natural language translation (Q1329090) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- ACTL for modal interface automata (Q2404073) (← links)
- ACTLW -- an action-based computation tree logic with unless operator (Q2476788) (← links)
- Folk Theorems on the Correspondence between State-Based and Event-Based Systems (Q3075540) (← links)
- Towards the assessment of logics for concurrent actions (Q4632329) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
