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 |
| Summary: | 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. They can specify and verify the behavior of data and procedural objects in multi-process environments, thus overcoming some of the difficulties in dealing with parallelism which characterized previous work on formal specifications for abstract data types. |
|---|