Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction.

Rehab Massoud Jannis Stoppe Daniel Große Rolf Drechsler

Published in: FORMATS (2017)

Keyphrases

execution traces
image reconstruction
spatio temporal
source code
temporal information
three dimensional
temporal constraints
databases
real world
high quality
temporal reasoning
formal specification
temporal patterns
temporal data