Kodiak: A Software Library for Verifying Nonlinear Arithmetic Statements(LAR-18268-1)
data and image processing
Kodiak: A Software Library for Verifying Nonlinear Arithmetic Statements
Kodiak is a software implementation of an algorithm for verifying expressions involving nonlinear real arithmetic. It includes an optimizer for nonlinear real functions, a solver for nonlinear inequalities, and an application programming interface (API) for integrating other software verification tools.
Data and Image Processing
Contact Us About This Technology
Langley Research Center