TLPVS

swMATH10024MaRDI QIDQ21998FDOQ21998

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-39910-0_26

Described by source

• \textsc{tlpvs}: A \textsc{pvs}-based \textsc{ltl} verification system

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
• Explicit fair scheduling for dynamic control
• ObjectCheck
• ComFoRT
• TeMP
• MAGIC
• Aglets
• Verification of Boolean programs with unbounded thread creation

This page was built for software: TLPVS