Efficient software product-line model checking using induction and a SAT solver.

Fei He Yuan Gao Liangze Yin

Published in: Frontiers Comput. Sci. (2018)

Keyphrases

model checking
sat solvers
temporal logic
software product line
formal verification
model checker
future directions
computation tree logic
search strategies
formal methods
relational databases
constraint satisfaction
dynamic programming
sat problem
propositional satisfiability
verification method