Login / Signup
Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries.
Yuandong Cyrus Liu
Chengbin Pang
Daniel Dietsch
Eric Koskinen
Ton-Chanh Le
Georgios Portokalidis
Jun Xu
Published in:
CoRR (2021)
Keyphrases
</>
spatial and temporal
spatio temporal
space time
source code
higher level
model checking
case study
temporal reasoning
probabilistic inference
levels of abstraction
relational databases
temporal patterns
verification method