Monotonicity in shared-memory program verification
<p><em>Predicate abstraction</em> is a key enabling technology for applying model checkers to programs written in mainstream languages. It has been used very successfully for debugging sequential system-level C code. Although model checking was originally designed for analysing con...
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Luận văn |
| Ngôn ngữ: | English |
| Được phát hành: |
2013
|
| Những chủ đề: |