Added mutex subproject to proof and validate shared mutex, shared buffer and message passing between two processes.  And it works!