Deductive Verifiction of C Programs with KeY-C
Paper i proceeding, 2007

Författare

Oleg Myrk

Daniel Larsson

Chalmers, Data- och informationsteknik, Datavetenskap

Reiner Hähnle

Chalmers, Data- och informationsteknik, Datavetenskap

Proceedings C/C++ Verification Workshop, colocated with Integrated Formal Methods (IFM), Oxford, UK, Technical report ICIS-R07015 of Radboud University Nijmegen

43-58

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)