Basic Info

5963 La Place Court Suite 208
Carlsbad, CA 92008
(760) 431-1400
Derivation Systems Inc
Profile last edited on: 5/12/2006
Business Identifier: Computer Software Development
Public Profile:
Previously located in Indiana, Derivation Systems, Inc. (DSI) 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.

 Synopsis: Awardee Business Condition
Year Founded First SBIR Year Date of Last Award
Employee Range VC funded? IP Holdings
Revenue Range Private/Public Exchange/Symbol :