The following pages link to Computer Aided Verification (Q5312917):
Displaying 6 items.
- Implementing sequentially consistent programs on processor consistent platforms (Q436746) (← links)
- Verification of STM on relaxed memory models (Q453508) (← links)
- Model checking transactional memories (Q2377134) (← links)
- Memory model sensitive bytecode verification (Q2461564) (← links)
- Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (Q3000633) (← links)
- Validating QBF Validity in HOL4 (Q3088005) (← links)