Three-valued logic in bounded model checking.

Tobias Schüle Klaus Schneider

Published in: MEMOCODE (2005)

Keyphrases

bounded model checking
linear temporal logic
model checking
formal verification
temporal logic
multi agent systems
epistemic logic
programming language
inference rules
nonmonotonic logics
model checker
description language