Deductive Verifiction of C Programs with KeY-C
Paper in proceeding, 2007
Author
Oleg Myrk
Daniel Larsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings C/C++ Verification Workshop, colocated with Integrated Formal Methods (IFM), Oxford, UK, Technical report ICIS-R07015 of Radboud University Nijmegen
43-58
Subject Categories
Software Engineering
Computer Science