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.
|Place of Publication||Amsterdam|
|Publisher||Faculty of Mathematics and Computer Science, Vrije Universiteit|
|Number of pages||28|
|Publication status||Published - 3 Aug 1997|
|Name||Technical Report / Faculty of Mathematics and Computer Science|
|Publisher||Vrije Universiteit, Faculty of Mathematics and Computer Science|
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.