There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques.
Vasileios KoutavasYu-Yang LinNikos TzevelekosPublished in: CoRR (2021)
Keyphrases
- verification method
- symbolic execution
- high level
- formal verification
- signature verification
- hardware designs
- program execution
- continuous functions
- model checking
- face verification
- programming environment
- database
- computer programs
- intermediate level
- fingerprint verification
- java programs
- case study
- information retrieval
- neural network
- symbolic description
- real time