مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Model Checking Programs

Author/Authors :

Willem Visser، نويسنده , , Klaus Havelund، نويسنده , , Guillaume Brat، نويسنده , , SeungJoon Park and Flavio Lerda ، نويسنده ,

Issue Information :

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

Pages :

From page :

203

To page :

232

Keywords :

model checking , Symmetry , Abstraction , Java , runtime analysis , Static analysis

Journal title :

Automated Software Engineering

Serial Year :

2003

Journal title :

Automated Software Engineering

Record number :

307114

Link To Document :