Towards Automated Static Verification of GNU C Programs.

Evgeny Novikov Ilja S. Zakharov

Published in: Ershov Informatics Conference (2017)

Keyphrases

semi automated
source code
model checking
symbolic execution
open source
hardware designs
computer aided
fully automated
face verification
computer programs
java bytecode
control structures
automatic programming
formal verification
databases
computer assisted
high level
search engine