A verification exercise relating to specification styles in LOTOS

    Research output: Book/ReportReportOther research output

    231 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 languageUndefined
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages16
    Publication statusPublished - 1989

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente, Department of Computer Science
    No.INF-89-18

    Keywords

    • Specification style
    • EWI-24723
    • Verification
    • LOTOS
    • IR-91288
    • Congruence

    Cite this