Login / Signup

Proving LTL Properties of Bitvector Programs and Decompiled Binaries.

Yuandong Cyrus LiuChengbin PangDaniel DietschEric KoskinenTon-Chanh LeGeorgios PortokalidisJun Xu
Published in: APLAS (2021)
Keyphrases
  • control flow
  • model checking
  • structural properties
  • desirable properties
  • reverse engineering
  • computer programs
  • real time
  • high level
  • source code
  • temporal logic
  • data flow
  • topological properties