|
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.
Address
|
Derivation Systems, Inc.
2280 Faraday
Ave
Suite
163,
Carlsbad,
CA 92008
USA
|
