Improving Quality of Counterexamples in Model Checking via Automated Planning.

Xu Lu Cong Tian Bin Yu Zhenhua Duan

Published in: QRS (2021)

Keyphrases

model checking
automated planning
planning domains
temporal logic
formal verification
finite state
temporal properties
heuristic search

automated verification
model checker
transition systems
formal specification
symbolic model checking
computation tree logic
verification method
bounded model checking

ai planning
goal directed
planning systems
formal methods
timed automata
alternating time temporal logic
description language

heuristic search algorithms
modal logic
markov chain
distributed systems
general purpose
search space
search algorithm