On-the-fly symbolic model checking for real-time systems.
Ahmed BouajjaniStavros TripakisSergio YovinePublished in: RTSS (1997)
Keyphrases
- real time systems
- symbolic model checking
- model checking
- partial observability
- real time
- formal verification
- conformant planning
- embedded systems
- distributed systems
- symbolic representation
- model checker
- temporal logic
- real time embedded
- binary decision diagrams
- formal specification
- database systems
- domain specific
- rough sets