Reactive Systems, Inc. sells tools and services for embedded-software testing and validation. Embedded software runs on the microprocessors found in devices as diverse as automobiles, cardiac pacemakers, aircraft and cell phones.