Verifying C++ with STL Containers via Predicate Abstraction

Download

Open access

Author

Date

2006

Type

Report

ETH Bibliography

yes

Altmetrics

Download

Rights / license

Permanent link

https://doi.org/10.3929/ethz-a-006788257

Publication status

published

Journal / series

Technical Report / ETH Zurich, Department of Computer Science

Volume

506

Publisher

ETH, Department of Computer Science

Subject

VERIFICATION (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); C++ (PROGRAMMIERSPRACHEN); C++ (PROGRAMMING LANGUAGES)

Organisational unit

02150 - Dep. Informatik / Dep. of Computer Science

Notes

Technical Reports D-INFK.

More

ETH Bibliography

yes

Altmetrics

Research Collection