A verification exercise relating to specification styles in LOTOS

Marten J. van Sinderen

A verification exercise relating to specification styles in LOTOS

Research output: Book/Report › Report › Other research output

19 Downloads (Pure)

Abstract

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.

Original language	Undefined
Place of Publication	Enschede
Publisher	University of Twente, Department of Computer Science
Number of pages	16
Publication status	Published - 1989

Publication series

Name	Memoranda Informatica
Publisher	University of Twente, Department of Computer Science
No.	INF-89-18

Keywords

Specification style
EWI-24723
Verification
LOTOS
IR-91288
Congruence

Access to Document

Cite this

van Sinderen, M. J. (1989). A verification exercise relating to specification styles in LOTOS. (Memoranda Informatica; No. INF-89-18). Enschede: University of Twente, Department of Computer Science.

@book{c82199765cab4ad28bdeb2185d57f099,

title = "A verification exercise relating to specification styles in LOTOS",

abstract = "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.",

keywords = "Specification style, EWI-24723, Verification, LOTOS, IR-91288, Congruence",

author = "{van Sinderen}, {Marten J.}",

year = "1989",

language = "Undefined",

series = "Memoranda Informatica",

publisher = "University of Twente, Department of Computer Science",

number = "INF-89-18",

}

TY - BOOK

T1 - A verification exercise relating to specification styles in LOTOS

AU - van Sinderen, Marten J.

PY - 1989

Y1 - 1989

N2 - 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.

AB - 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.

KW - Specification style

KW - EWI-24723

KW - Verification

KW - LOTOS

KW - IR-91288

KW - Congruence

M3 - Report

T3 - Memoranda Informatica

BT - A verification exercise relating to specification styles in LOTOS

PB - University of Twente, Department of Computer Science

CY - Enschede

ER -