An Extention of Lazy Abstraction and Refinement for Program Verification.

Haowei Liang Chunyan Hou Jinsong Wang Chen Chen

Published in: COMPSAC (2022)

Keyphrases

high level
refinement process
expert systems
data sets
neural network
search engine
knowledge base
image processing
data structure
dynamic programming
programming language
decision theoretic planning