Sciweavers

CACM
2010
97views more  CACM 2010»
13 years 1 months ago
Certified software
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
Zhong Shao