Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge.
Bozena Wozna-SzczesniakPublished in: CEE-SET (2009)
Keyphrases
- bounded model checking
- real time
- model checking
- formal verification
- linear temporal logic
- computation tree logic
- domain knowledge
- temporal logic
- knowledge acquisition
- expert systems
- knowledge base
- knowledge management
- low cost
- knowledge discovery
- knowledge representation
- prior knowledge
- vision system
- orders of magnitude
- knowledge sharing
- real time systems