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.