We show that the precision of static abstract software checking algorithms can be enhanced by taking explicitly into account the abstractions that are involved in the design of the program model/abstract semantics. This is illustrated on reachability analysis and abstract testing.
CITATION STYLE
Cousot, P., & Cousot, R. (2002). On abstraction in software verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2404, pp. 37–56). Springer Verlag. https://doi.org/10.1007/3-540-45657-0_3
Mendeley helps you to discover research relevant for your work.