Description: This paper concerns the software correctness problem and program properties proof âE" especially for concurrent programs. Interleaving Parallel Composition Language (IPCL) [1] 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.