论文信息 - Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software - 字舞流文

Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software

Zhong Xu | Xiao Jianyu

[1] Natarajan Shankar,et al. Combining Theorem Proving and Model Checking through Symbolic Analysis , 2000, CONCUR.

[2] J. R. Abrial,et al. The B-Book: Mathematics , 1996 .

[3] Steven D. Johnson. Formal Methods in Embedded Design , 2003, Computer.

[4] J. R. Abrial,et al. The B-Book: Programming , 1996 .