Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking.

Daisuke Ishii Saito Fujii

Published in: CoRR (2020)

Keyphrases

model checking
temporal logic
bounded model checking
artificial intelligence
heuristic search
finite state
verification method
reinforcement learning
model checker
timed automata