KeY-C: A Tool for Verification of C Programs.

Oleg Mürk Daniel Larsson Reiner Hähnle

Published in: CADE (2007)

Keyphrases

high security
database systems
model checking
symbolic execution
hardware designs
database
real time
databases
clustering algorithm
distributed systems
software tools
computer programs
face verification
formal verification
java programs
free software