Project Details
Description
This thesis defines a class of decidable real-time formalisms, intended for automatic synthesis of real-time reactive programs. It defines a temporal logic, a family of automata, and a corresponding classical logic. This temporal logic, as expressive as MITL, is axiomatised.
| Acronym | JFR |
|---|---|
| Status | Finished |
| Effective start/end date | 1/10/95 → 7/06/99 |
Keywords
- logics
- decision procedure
- MITL
- automata
- real time
- temporal logic
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.