Pages that link to "Item:Q2571204"
From MaRDI portal
The following pages link to Parameterised Boolean equation systems (Q2571204):
Displaying 13 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)
- Invariants for parameterised Boolean equation systems (Q960855) (← links)
- Exponential automatic amortized resource analysis (Q2200835) (← links)
- Consistent Consequence for Boolean Equation Systems (Q2891375) (← links)
- (Q3384882) (← links)
- Invariants for Parameterised Boolean Equation Systems (Q3541018) (← links)
- Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) (← links)
- (Q5129943) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems (Q5164176) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)