Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge.
Artur MeskiWojciech PenczekMaciej SzreterBozena Wozna-SzczesniakAndrzej ZbrzeznyPublished in: KES-AMSTA (2012)
Keyphrases
- bounded model checking
- domain knowledge
- model checking
- temporal logic
- logic programming
- knowledge based systems
- linear temporal logic
- formal verification
- general purpose
- knowledge representation
- expert systems
- knowledge acquisition
- data mining
- data mining techniques
- domain experts
- classical logic
- search algorithm
- knowledge base