The design of complex distributed systems can be supported by a methodology where several, increasingly implementation-oriented, formal specifications are successively developed. The relative verification of such specifications is discussed in this memorandum using some example specifications in LOTOS. It is claimed that the adoption of common specification styles can simplify the verification task. Two congruence laws which are not contained in the LOTOS standard are presented.
|Publisher||University of Twente, Department of Computer Science|
- Specification style