MSVL
From MaRDI portal
Software:43421
No author found.
Related Items (6)
Verifying a scheduling protocol of safety-critical systems ⋮ Efficient decision procedure for propositional projection temporal logic ⋮ A sound and complete proof system for a unified temporal logic ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ Translating Xd-C programs to MSVL programs ⋮ A novel approach to verifying context free properties of programs
This page was built for software: MSVL
