Verifying C++ with STL containers via predicate abstraction
This paper describes a flexible and easily extensible predicate abstraction-based approach to the verification of STLusage, and observes the advantages of verifying programsin terms of high-level data structures rather than low-level pointer manipulations. We formalize the semantics of the STL by me...
| Egile Nagusiak: | , , |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Conference item |
| Argitaratua: |
Association for Computing Machinery
2007
|