MSVL

swMATH31710MaRDI QIDQ43421FDOQ43421

Author name not available (Why is that?)

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

Cited In (12)

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

This page was built for software: MSVL