Verification of parallel programs using evolving algebras

This article presents an original method of verification of parallel programs using the notions of evolving algebra (EA) and run. The main idea is to give a method based around EA framework with which it will be easy to prove statements regarding states which programs and their environments undergo during execution.