Derivation Systems, Inc. (DSI), founded in 1993, is a leading developer of formal verification systems for high assurance hardware/software applications and embedded systems products.

The company's corporate mission is to develop innovative technologies for safety-critical systems through advanced research in formal methods. Our goal is to develop computer-aided design tools and provide solutions that enhance the reliability of digital systems while reducing design time and cost.

DSI is dedicated to integrating advanced mathematics with current engineering practice and represents the next stage of evolution in design as formal methods defines a new engineering paradigm.

DSI's primary R&D facilities are located in a high technology center in the picturesque coastal town of Carlsbad, California -- approximately 35 miles north of San Diego. All of DSI's employees have advanced graduate degrees with extensive experience in formal verification. In addition, DSI employees have been active researchers in the field of formal methods with various academic publications.