مرکز منطقه ای اطلاع رساني علوم و فناوري - Inductively Verifying Invariant Properties of Parameterized Systems

Title of article :

Inductively Verifying Invariant Properties of Parameterized Systems

Author/Authors :

Abhik Roychoudhury and I.V. Ramakrishnan ، نويسنده ,

Issue Information :

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

Pages :

From page :

101

To page :

139

Keywords :

parameterized systems , concurrent systems , induction proofs , Program transformations , Logic programming , Unfolding , folding

Journal title :

Automated Software Engineering

Serial Year :

2004

Journal title :

Automated Software Engineering

Record number :

307125

Link To Document :