A Bounded Semantics for Improving the Efficiency of Bounded Model Checking.

Wenhui Zhang Ya Gao

Published in: ICECCS (2022)

Keyphrases

bounded model checking
model checking
formal verification
epistemic logic
computational complexity
temporal logic
formal semantics
logical framework
search algorithm
simulated annealing
logic programming
semantic information