Verification of Programs via Intermediate Interpretation.
Alexei P. LisitsaAndrei P. NemytykhPublished in: VPT@ETAPS (2017)
Keyphrases
- intermediate level
- symbolic execution
- hardware designs
- formal verification
- image interpretation
- semantic interpretation
- model checking
- computer programs
- high level
- data sets
- verification method
- answer sets
- relational databases
- multi agent
- automatic programming
- person identification
- high security
- prolog programs
- information systems