Refining Model Checking by Abstract Interpretation

作者：Patrick Cousot, Radhia Cousot

摘要

Formal methods combining abstract interpretation and model-checking have been considered for automated analysis of software.

论文关键词：model-checking, abstract interpretation, static analysis, transition system, universal safety

论文评审过程：

论文官网地址：https://doi.org/10.1023/A:1008649901864