Method for automated error detection and verification of software Grant US-9098619-B2 United States of America 04 Aug 2015
Type and range propagation through data-flow models Grant US-8984488-B2 United States of America 17 Mar 2015
Method and apparatus for test generation from hybrid diagrams with combined data flow and… Grant US-8423879-B2 United States of America 16 Apr 2013