A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems.

Yunan Cao Zili Shao Meng Wang Chun Jason Xue Youdong Chen Hongxing Wei Tianmiao Wang A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems. 269-276 2008 ICDCS http://dx.doi.org/10.1109/ICDCS.2008.21 conf/icdcs/2008 db/conf/icdcs/icdcs2008.html#CaoSWXCWW08