The following pages link to Static Analysis (Q5466572):
Displaying 8 items.
- On the almighty wand (Q418137) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs (Q2873618) (← links)
- On the Almighty Wand (Q3540188) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- The logic of separation logic: models and proofs (Q6541164) (← links)
