Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent.

Ruben Gamboa John R. Cowles

Published in: ACL2 (2014)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
temporal logic
program slicing
artificial intelligence
rough sets
knowledge based systems
lagrange interpolation