Home Services Technologies Company Careers Contact  

Salt ® & Shaker® Translation System

Salt & Shaker Home

Salt ® & Shaker® Translation System

Whitepaper

If you would like to receive the Salt & Shaker Whitepaper, please submit the following information:

Name:
Company:
E-mail:
Phone:

Executive Summary

Salt is a computer language and translation system that enables software verification & validation (and other complex problems with multiple constraints such as planning) to be converted into a format that can be read by a SAT solver. Conversely Shaker translates the output of a SAT solver back into a form that can be interpreted by a human or application software.

If you would like to receive the Salt & Shaker Whitepaper, please submit the following information:

Name:
Company:
E-mail:
Phone:
Copyright © 1998-2008 Reservoir Labs, Inc.