Verifying C++ with STL Containers via Predicate Abstraction
Persistenter Link
https://doi.org/10.3929/ethz-a-006788257Publikationsstatus
publishedZeitschrift / Serie
Technical Report / ETH Zurich, Department of Computer ScienceBand
Verlag
ETH, Department of Computer ScienceThema
VERIFICATION (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); C++ (PROGRAMMIERSPRACHEN); C++ (PROGRAMMING LANGUAGES)Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Technical Reports D-INFK.ETH Bibliographie
yes
Altmetrics