Quality of Concurrent Shared Memory Programs
Т. В. Панченко, Sunmade Fabunmi · 2018
The method for software properties proof in interleaving concurrent environment with communication via shared memory is presented here. It was developed to solve the problem of simultaneous check the required property over the family of programs being run arbitrary times in parallel~- instead of doing separate proofs for each number of program instances being run concurrently. Application of this method to real-world industrial tasks is also mentioned in this work, as well as the extended model with new programs dynamical starting and stopping operations.