Abstract
This paper describes a framework, based on Abstract Interpretation, for creating abstractions for model-checking. Specifically, we study how to abstract models of μ-calculus and systematically derive abstractions that are constructive, sound, and precise, and apply them to abstracting Kripke structures. The overall approach is based on the use of bilattices to represent partial and inconsistent information. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Gurfinkel, A., Wei, O., & Chechik, M. (2006). Systematic construction of abstractions for model-checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3855 LNCS, pp. 381–397). https://doi.org/10.1007/11609773_25
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
