Symbolic Model Checking for Event-Driven Real-Time Systems.
Jin YangAloysius K. MokFarn WangPublished in: RTSS (1993)
Keyphrases
- real time systems
- event driven
- symbolic model checking
- real time
- model checking
- partial observability
- formal verification
- binary decision diagrams
- embedded systems
- distributed systems
- symbolic representation
- temporal logic
- markup language
- planning domains
- finite state
- domain specific
- rough sets
- state space
- machine learning