Taras V. Panchenko. Simplified Method For Software Correctness Proof In Ipcl
Submitted on: Nov 19, 2014, 20:24:33
Natural Sciences / Computer Science / Mathematical logic
Description: This paper concerns the software correctness problem and program properties proof âE" especially for concurrent programs. Interleaving Parallel Composition Language (IPCL)  and program properties proof in IPCL are the subjects of this article. The paper shines light on Simplified State and the appropriate Method for software properties proof (including correctness) in IPCL, and also shows its applications and advantages.
The full-text article has been published in the "IntellectualArchive" journal , Vol.3, Num.6, November 2014, ISSN 1929-4700.
The Library of Congress (USA) reference page : http://lccn.loc.gov/cn2013300046.
To read the article posted on Intellectual Archive web site please click the link below.