Generating Test Cases for Real-Time Systems from Logic Specifications.
Dino MandrioliSandro MorascaAngelo MorzentiPublished in: ACM Trans. Comput. Syst. (1995)
Keyphrases
- real time systems
- delay insensitive
- embedded real time systems
- reactive systems
- real time
- embedded systems
- distributed systems
- transition systems
- bounded model checking
- asynchronous circuits
- real time database systems
- formal language
- mission critical
- high level
- timing constraints
- operational semantics
- recursive programs
- object oriented programming language
- control flow
- cooperative
- real time embedded
- logic programs