MSVL

MaRDI QIDQ43421swMATHFDO

Official website https://link.springer.com/article/10.1007/s11704-016-6059-4

Cited in

(12)

• A decision procedure and complete axiomatization for projection temporal logic
• Efficient decision procedure for propositional projection temporal logic
• A sound and complete proof system for a unified temporal logic
• Translating Xd-C programs to MSVL programs
• A novel approach to verifying context free properties of programs
• Verifying a scheduling protocol of safety-critical systems
• RiTHM
• Murphi
• LTLAutomizer
• MinGW
• UMC4M
• C2M

This page was built for software: MSVL