Pages that link to "Item:Q3525633"
From MaRDI portal
The following pages link to Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems (Q3525633):
Displaying 10 items.
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Invariants for parameterised Boolean equation systems (Q960855) (← links)
- (Q3384882) (← links)
- Invariants for Parameterised Boolean Equation Systems (Q3541018) (← links)
- Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← 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)