Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.
Nicolas HalbwachsDaniel PilaudFarid OuabdesselamAnne-Cecile GloryPublished in: Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
- real time systems
- declarative language
- object oriented programming language
- asynchronous communication
- deductive databases
- distributed systems
- real time
- embedded systems
- programming language
- reactive systems
- timing constraints
- modeling language
- model checking
- mission critical
- real time embedded
- real time database systems
- anytime algorithms
- database
- logic programming
- integrity constraints
- expert systems
- case study
- knowledge base