Automatic Abstraction of C Programs for the Verification of Industrial Projects
Date Issued
2006
Date
2006
Author(s)
Qiu, Ren-Wei
DOI
en-US
Abstract
Software verification is more and more important, especially some critical purpose programs and complicated systems. Since these programs are too complicated, barely verification tools can support them. For verifying these systems, we have to abstract them first. This throughput would be used to model checking, test case generation or simulation. The work that abstract systems can be realized by programmers or automatically. If this work is accomplished by programmer, we should take more time to train programmers than past. Because this way would take too cost to train programmers, we have to achieve this work automatically to save money and time. The main purpose of this paper is to realize software abstraction automatically and effectively. The output of our work would be the middle code for verification tools.
Subjects
抽象化
abstraction
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-95-R93921108-1.pdf
Size
23.31 KB
Format
Adobe PDF
Checksum
(MD5):0906d2fbdc004b9c9d4cb5430e353bfc