TLPVS

MaRDI QIDQ21998swMATHFDO

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)

• Temporal Verification of Fault-Tolerant Protocols
• Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
• A model checking-based approach for security policy verification of mobile systems
• Computer Aided Verification
• ObjectCheck
• ComFoRT
• TeMP
• MAGIC
• Aglets
• Proving linearizability with temporal logic
• Verification of Boolean programs with unbounded thread creation
• Explicit fair scheduling for dynamic control

This page was built for software: TLPVS