Cited in
(12)- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
- Proving linearizability with temporal logic
- Temporal Verification of Fault-Tolerant Protocols
- A model checking-based approach for security policy verification of mobile systems
- Computer Aided Verification
- ObjectCheck
- ComFoRT
- TeMP
- MAGIC
- Aglets
- Explicit fair scheduling for dynamic control
- Verification of Boolean programs with unbounded thread creation
This page was built for software: TLPVS
