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)