MSVL
From MaRDI portal
Software:43421
swMATH31710MaRDI QIDQ43421FDOQ43421
Author name not available (Why is that?)
Cited In (6)
- Translating Xd-C programs to MSVL programs
- 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
