Formal Verification Techniques Based on Boolean Satisfiability Problem.

Xiaowei Li Guanghui Li Ming Shao

Published in: J. Comput. Sci. Technol. (2005)

Keyphrases

formal verification
model checking
sat solvers
bounded model checking
model checker
automated verification
symbolic model checking
program slicing
reinforcement learning
temporal logic
test cases
orders of magnitude
functional verification