A Modal Temporal Dynamic Logic: Doing the Deadline

J. Scheerder, R.J. Wieringa

    Research output: Book/ReportReportOther research output

    20 Downloads (Pure)

    Abstract

    In this report, an investigation into the aspects of formal system specification that manifest themselves when considering both time and system dynamics is carried out. A logic to express temporal dynamic properties is developed.
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherFaculty of Mathematics and Computer Science, Vrije Universiteit
    Number of pages28
    Publication statusPublished - 3 Aug 1997

    Publication series

    NameTechnical Report / Faculty of Mathematics and Computer Science
    PublisherVrije Universiteit, Faculty of Mathematics and Computer Science
    No.IR-433

    Keywords

    • SCS-Services

    Fingerprint Dive into the research topics of 'A Modal Temporal Dynamic Logic: Doing the Deadline'. Together they form a unique fingerprint.

  • Cite this

    Scheerder, J., & Wieringa, R. J. (1997). A Modal Temporal Dynamic Logic: Doing the Deadline. (Technical Report / Faculty of Mathematics and Computer Science; No. IR-433). Amsterdam: Faculty of Mathematics and Computer Science, Vrije Universiteit.