TLPVS

swMATH10024MaRDI QIDQ21998FDOQ21998

Author name not available (Why is that?)

Described by source

• Verification: Theory and Practice

Cited In (7)

• Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
• Proving linearizability with temporal logic
• Explicit Fair Scheduling for Dynamic Control
• Temporal Verification of Fault-Tolerant Protocols
• A model checking-based approach for security policy verification of mobile systems
• Computer Aided Verification
• Verification of Boolean programs with unbounded thread creation

This page was built for software: TLPVS