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
(LAR-18268-1)
Overview
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.
Software Details
Category
Data and Image Processing
Reference Number
LAR-18268-1
Release Type
Open Source
Operating System
