Title of article

Refining Model Checking by Abstract Interpretation

Author/Authors

Patrick Cousot and Radhia Cousot ، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1999

Pages

27

From page

69

To page

95

Keywords

model-checking , Abstract interpretation , Static analysis , transition system , universal safety.

Journal title

Automated Software Engineering

Serial Year

1999

Journal title

Automated Software Engineering

Record number

307045