System and method for parallel model checking utilizing parallel structured duplicate… Grant US-9098620-B2 United States of America 04 Aug 2015