Validating Real-Time Systems by Executing Logic Specifications.
Angelo MorzentiPublished in: REX Workshop (1991)
Keyphrases
- real time systems
- delay insensitive
- embedded real time systems
- reactive systems
- real time
- distributed systems
- asynchronous circuits
- bounded model checking
- formal language
- embedded systems
- real time database systems
- operational semantics
- modal logic
- timing constraints
- transition systems
- mission critical
- architectural model
- formal specification
- recursive programs
- object oriented programming language
- multi agent systems
- real time embedded
- fuzzy logic
- software development
- business process
- temporal logic