| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Brizzolari, Francesco; Melatti, Igor; Tronci, Enrico; Della Penna, Giuseppe | ||||
| Title | Disk Based Software Verification via Bounded Model Checking | Type | Conference Article | ||
| Year | 2007 | Publication | APSEC '07: Proceedings of the 14th Asia-Pacific Software Engineering Conference | Abbreviated Journal | |
| Volume | Issue | Pages | 358-365 | ||
| Keywords | |||||
| Abstract | One of the most successful approach to automatic software verification is SAT based bounded model checking (BMC). One of the main factors limiting the size of programs that can be automatically verified via BMC is the huge number of clauses that the backend SAT solver has to process. In fact, because of this, the SAT solver may easily run out of RAM. We present two disk based algorithms that can considerably decrease the number of clauses that a BMC backend SAT solver has to process in RAM. Our experimental results show that using our disk based algorithms we can automatically verify programs that are out of reach for RAM based BMC. | ||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | IEEE Computer Society | Place of Publication | Washington, DC, USA | Editor | |
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
Series Volume  |
Series Issue | Edition | |||
| ISSN | 0-7695-3057-5 | ISBN | Medium | ||
| Area | Expedition | Conference | |||
| Notes | Approved | yes | |||
| Call Number | Sapienza @ mari @ Bmtd07 | Serial | 76 | ||
| Permanent link to this record | |||||