Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation.

Published in: FMCAD (2015)

Keyphrases

formal verification
algebraic geometry
model checking
automated verification
set theory
model checker
polynomial equations
bounded model checking
symbolic model checking
decision making
genetic programming
evolutionary algorithm
multi agent systems
input image
model selection