Polynomial Formal Verification of Approximate Functions.

Martha Schnieber Saman Fröhlich Rolf Drechsler

Published in: ISVLSI (2022)

Keyphrases

formal verification
model checking
symbolic model checking
automated verification
linear combination of basis
model checker
bounded model checking
functional verification
neural network
artificial intelligence
rough sets
low order
program slicing