The following pages link to (Q4250361):
Displaying 11 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)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (Q3066124) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- (Q4972736) (← links)
- (Q5129943) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)
