SMT-Based Verification of Persistency Invariants of Px86 Programs.
Iason MarmanisViktor VafeiadisPublished in: VSTTE (2022)
Keyphrases
- imperative programs
- symbolic execution
- model checking
- hardware designs
- answer sets
- face verification
- functional verification
- computer programs
- data sets
- automatic programming
- test generation
- fixpoint
- java bytecode
- dynamic logic
- asynchronous circuits
- program execution
- statistical machine translation
- formal verification
- programming environment
- formal methods
- static analysis
- affine invariant
- logic programs
- d objects
- image sequences