Pages that link to "Item:Q3617762"
From MaRDI portal
The following pages link to Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762):
Displaying 6 items.
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Invariants for parameterised Boolean equation systems (Q960855) (← links)
- Parity game reductions (Q1656552) (← links)
- Consistent Consequence for Boolean Equation Systems (Q2891375) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Simplifying process parameters by unfolding algebraic data types (Q6605372) (← links)
