Xiao-Dong Yang
Abstract
model.Definition and evaluation metrics of abstract model are also presented.Recent advances in abstraction,especially predicate abstraction,and automatic abstraction-refinement are analyzed in detail.Finally,a discussion is given to probe into the development perspective of abstraction techniques.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
model.Definition and evaluation metrics of abstract model are also presented.Recent advances in abstraction,especially predicate abstraction,and automatic abstraction-refinement are analyzed in detail.Finally,a discussion is given to probe into the development perspective of abstraction techniques.
Key concepts: Abstraction, Predicate abstraction, Computer science, Abstraction model checking, Predicate (mathematical logic), Programming language, Perspective (graphical), Theoretical computer science