2 search results - page 1 / 1 » An Approach to Preserving Sufficient Correctness in Open Res... |
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
TSE
2008
13 years 4 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...