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.