مرکز منطقه ای اطلاع رساني علوم و فناوري - Compositional verification of sequential programs with procedures

Title of article :

Compositional verification of sequential programs with procedures

Author/Authors :

Dilian Gurov، نويسنده , , Marieke Huisman، نويسنده , , Christoph Sprenger، نويسنده ,

Issue Information :

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

Pages :

From page :

840

To page :

868

Keywords :

Program verificationControl-flow behaviourCompositional reasoningModal -calculusSafety propertiesMaximal modelPrivate procedures

Journal title :

Information and Computation

Serial Year :

2008

Journal title :

Information and Computation

Record number :

262485

Link To Document :