The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors
No abstract available.
Related papers
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- The semantics of x86-CC multiprocessor machine code POPL 2009
- Reconciling Event Structures with Modern Multiprocessors ECOOP 2020
- CheckFence: checking consistency of concurrent data types on relaxed memory models PLDI 2007
- Formal verification of practical MPI programs PPoPP 2009
- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover TACAS 2022
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011