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.