مرکز منطقه ای اطلاع رساني علوم و فناوري - Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness

Title of article :

Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness

Author/Authors :

Robert J. Shaw، نويسنده , , Ronald A. Olsson، نويسنده ,

Issue Information :

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

Pages :

From page :

259

To page :

275

Keywords :

Programmingenvironments , formal methods , Code reasoning , Software engmeenng

Journal title :

Information Sciences

Serial Year :

1998

Journal title :

Information Sciences

Record number :

175804

Link To Document :