Pages that link to "Item:Q1856157"
From MaRDI portal
The following pages link to Control and data abstraction: The cornerstones of practical formal verification (Q1856157):
Displaying 9 items.
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Equational abstractions (Q944377) (← links)
- Network invariants for real-time systems (Q1019007) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Compositional analysis for verification of parameterized systems (Q2368952) (← links)
- An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
