From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time.
Daniel PilaudNicolas HalbwachsPublished in: FTRTFT (1988)
Keyphrases
- temporal logic
- declarative language
- model checking
- deductive databases
- modal logic
- modeling language
- satisfiability problem
- linear temporal logic
- verification method
- mazurkiewicz traces
- concurrent systems
- temporal knowledge
- formal verification
- belief revision
- bounded model checking
- computation tree logic
- databases
- integrity constraints
- dynamical systems
- logic programming
- high level
- automata theoretic