Distributed Extended Beam Search for Quantitative Model Checking.
Anton WijsBert LisserPublished in: MoChArt (2006)
Keyphrases
- model checking
- beam search
- temporal logic
- formal verification
- automated verification
- heuristic search
- temporal properties
- model checker
- computation tree logic
- transition systems
- symbolic model checking
- distributed systems
- search methods
- search algorithm
- formal specification
- timed automata
- epistemic logic
- branch and bound
- search problems
- verification method
- formal methods
- concurrent systems
- bounded model checking
- hill climbing
- ranking functions
- multi agent
- search heuristics
- np complete
- reactive systems
- data structure