RiTHM

MaRDI QIDQ28309swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=2494596

Cited in

(9)

• Runtime verification with minimal intrusion through parallelism
• Formal analysis and offline monitoring of electronic exams
• A compiler for MSVL and its applications
• Akiss
• MinGW
• C2M
• MSVL
• UMC4M
• Translating Xd-C programs to MSVL programs

This page was built for software: RiTHM