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)

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

This page was built for software: TLPVS