Logics, automata and classical theories for deciding real time

Project: PHD

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.
AcronymJFR
StatusFinished
Effective start/end date1/10/957/06/99

Keywords

  • logics
  • decision procedure
  • MITL
  • automata
  • real time
  • temporal logic