1. A modeling and verification framework for security protocols;Lilli,2021
2. Wait-Free Message Passing Protocol for Non-coherent Shared Memory Architectures;Comprés Ureña,2012
3. A proof theory for model checking;Heath;J. Autom. Reason.,2019
4. Validation with guided search of the state space;Yang,1998
5. Revisiting the complexity of hardware cache coherence and some implications;Komuravelli;ACM Trans. Archit. Code Optim.,2015