|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0022: Decision procedure for a real-time logic |
| Aktuelle | Tidligere |
Duration Calculus (DC) is an interval logic, which can be used for the specification and verification of properties of real-time systems.
In this project, decision procedures for (fragments of) DC are implemented by translating formulas of DC to formulas of decidable logics (e.g. Weak second-order logic of one successor) supported in the MONA tool. Experiments with DC formulas can thereby be conducted using the MONA tool.
| Prerequisites: | 02153 Declarative modelling or 02156 Formal Logical Systems and 02157 Functional Programming |
Supervisor(s) Michael R. Hansen
| Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen |