Kodiak's Boolean Checker Software Module(LAR-19222-1)

data and image processing
Kodiak's Boolean Checker Software Module
Kodiak is a software implementation of a branch-and-bound algorithm for rigorous approximations of expressions involving nonlinear real arithmetic. It includes an optimizer for nonlinear real functions, a solver for nonlinear inequalities, and an Application Programming Interface (API) to integrate directly with other software verification tools. Kodiak's Boolean Checker Software Module is an implementation of a general mixed boolean/real expression checker that is integrated into Kodiak's global optimization solver.
Software Details

Data and Image Processing
Reference Number
Release Type
Open Source
Operating System
Linux, OS X
Contact Us About This Technology

Langley Research Center
Stay up to date, follow NASA's Technology Transfer Program on:
facebook twitter linkedin youtube
Facebook Logo Twitter Logo Linkedin Logo Youtube Logo