Translating Xd-C programs to MSVL programs

Meng Wang, Cong Tian, Nan Zhang +2

C language is one of the most popular languages for software systems. In order to verify safety, reliability and security properties of such systems written in C, a tool UMC4M for…