Rust2Viper: Building a Static Verifier for Rust

Download
Text (PDF, 3.866Mb)
Thumbnail
Open access
Autor(in)
Hahn, Florian
Datum
2016
Typ
    Master Thesis
Rechte / Lizenz
In Copyright - Non-Commercial Use Permitted
Persistenter Link
https://doi.org/10.3929/ethz-a-010669150
Publikationsstatus
published
Verlag
ETH Zürich
Thema
PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); SPEZIELLE PROGRAMMIERSPRACHEN; PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); VERIFICATION (SOFTWARE ENGINEERING); CORRECTNESS (THEORY OF PROGRAMMING); SPECIAL PROGRAMMING LANGUAGES
Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Masterarbeit. Department of Computer Science, ETH Zurich. 2016.
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics