Modelling Embedded Systems by Non-Monotonic Refinement

Angelika H. Mader, J. Marincic, H. Wupper

    Research output: Book/ReportReportProfessional

    34 Downloads (Pure)


    This paper addresses the process of modelling embedded sys- tems for formal verification. We propose a modelling process built on non-monotonic refinement and a number of guidelines. The outcome of the modelling process is a model, together with a correctness argument that justifies our modelling decisions. After explaining the method, we demonstrate it on a small example.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages15
    Publication statusPublished - 24 May 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    ISSN (Print)1381-3625


    • IR-64771
    • METIS-250983
    • EWI-12764

    Cite this