Predicate diagrams for the verification of real-time systems.
Eun-Young KangStephan MerzPublished in: Formal Aspects Comput. (2007)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- model checking
- mission critical
- object oriented programming language
- real time embedded
- real time database systems
- timing constraints
- first order logic
- embedded real time systems
- high level
- petri net
- software engineering
- hand drawn
- database systems
- web services