Pages that link to "Item:Q2486254"
From MaRDI portal
The following pages link to Model-checking processes with data (Q2486254):
Displaying 17 items.
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Invariants for parameterised Boolean equation systems (Q960855) (← links)
- Off-the-shelf automated analysis of liveness properties for just paths (Q2182670) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- (Q3201412) (← links)
- Invariants for Parameterised Boolean Equation Systems (Q3541018) (← links)
- Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) (← links)
- (Q4972736) (← links)
- (Q5129943) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Formal Methods for Components and Objects (Q5311288) (← links)
- A Logic for True Concurrency (Q5501929) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)
- On-the-fly solving for symbolic parity games (Q6535612) (← links)
- Operations on fixpoint equation systems (Q6597955) (← links)