مرکز منطقه ای اطلاع رساني علوم و فناوري - Refining Model Checking by Abstract Interpretation

Title of article :

Refining Model Checking by Abstract Interpretation

Author/Authors :

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

Issue Information :

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

Pages :

From page :

To page :

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

Link To Document :