Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras.

Jefferson O. Andrade Yukiyoshi Kameyama

Published in: IEICE Trans. Inf. Syst. (2012)

Keyphrases

multi valued
bounded model checking
linear temporal logic
model checking
temporal logic
formal verification
single valued
boolean functions
logic synthesis
normal form
state space
domain independent
vector field
real valued