Reactive Systems logo
April 2, 2023

Reactive Systems Obtains Exclusive License for SUNY Patent

Stony Brook Logo

Falls Church, VA (October 29, 2001) -- Reactive Systems has executed an intellectual property agreement with the Research Foundation of the State University of New York at Stony Brook. The agreement gives RSI an exclusive license to patented modeling, simulation, and verification technology developed at the university by RSI founders Rance Cleaveland and Scott Smolka. The licensed technology will be incorporated into RSI's Reactis Modeler, Simulator, and Validator embedded-software design automation products.

Contact Person:
Rance Cleaveland
Reactive Systems, Inc.
120-B E. Broad St.
Falls Church, VA 22046 USA
+1 (703) 752-0928 (voice), +1 (703) 637-7101 (fax) (email)