Patents by Inventor John Charles Knight

John Charles Knight has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Verification System for System Design Consistency
    Publication number: 20160085883
    Abstract: An example system is executable by one or more processors to retrieve a development model and a production model; translate the development model and the production model into formal specifications; generate a set of theorems for checking constrained equivalence between the development model and the production model; combine formal specification of the development model, formal specification of the production model, and the set of theorems into a combined specification; and prove the constrained equivalence based on the theorems.
    Type: Application
    Filed: September 19, 2014
    Publication date: March 24, 2016
    Inventors: Shinichi Shiraishi, Ashlie Benjamin Hocking, Michael Anthony Aiello, John Charles Knight