The Logic of the RAISE Specification Language

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    This paper describes the logic of the RAISE Specification Language, RSL. It explains the particular logic chosen for RAISE, and motivates this choice as suitable for a wide spectrum language to be used for designs as well as initial specifications, and supporting imperative and concurrent specifications as well as applicative sequential ones. It also describes the logical definition of RSL, its axiomatic semantics, as well as the proof system for carrying out proofs.
    Original languageEnglish
    JournalComputing and Informatics
    Volume22
    Issue number3-4
    Pages (from-to)323-350
    ISSN1335-9150
    Publication statusPublished - 2003

    Keywords

    • Formal methods
    • Logics
    • RAISE

    Fingerprint Dive into the research topics of 'The Logic of the RAISE Specification Language'. Together they form a unique fingerprint.

    Cite this