Pages that link to "Item:Q3617762"
From MaRDI portal
The following pages link to Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762):
Displaying 10 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)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Consistent Consequence for Boolean Equation Systems (Q2891375) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Analysis of Boolean Programs (Q5326327) (← links)
- Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey (Q5404098) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)
- Simplifying process parameters by unfolding algebraic data types (Q6605372) (← links)