Practical Tactics for Verifying C Programs in Coq.

Jingyuan Cao Ming Fu Xinyu Feng

Published in: CPP (2015)

Keyphrases

real world
special case
case study
practical application
databases
artificial intelligence
model checking
automatic programming