Deductive Verifiction of C Programs with KeY-C
Paper in proceedings, 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

More information

Created

10/6/2017