Formal Verification Using Don't-Care and Vanishing Polynomials.

Cunxi Yu Maciej J. Ciesielski

Published in: ISVLSI (2016)

Keyphrases

formal verification
model checking
bounded model checking
long term
model checker
symbolic model checking
automated verification
low order
program slicing
functional verification
hermite transform
health care
web services
algebraic geometry
formal specification
rough sets
software engineering