Specifications and Verification Techniques for Parallel Programs Based on Message Passing Semantics
This thesis presents formal specification and verification techniques for both serial and parallel programs written in SIMULA-like object oriented languages. These techniques are based on the notion of states of individual objects which are defined uniformly in serial and parallel computations. The...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149481 |