Verification of complex systems that can be described by a finite state transition system Grant US-9389983-B2 United States of America 12 Jul 2016
VERIFICATION OF COMPLEX SYSTEMS THAT CAN BE DESCRIBED BY A FINITE STATE TRANSITION SYSTEM Application US-20150154096-A1 United States of America 04 Jun 2015