Execution Tracing of C Code for Formal Analysis (Extended Abstract).

Heinz Riener Michael Kirkedal Thomsen Görschwin Fey

Published in: MBMV (2015)

Keyphrases

extended abstract
formal analysis
code generation
formal methods
source code
data flow
java virtual machine
control flow
natural language
agent model
execution model
program execution
plan execution
ban logic