Honeywell International Inc.

Michael Pelican

David John Musliner

Walter Heimerdinger

Robert Prescott Goldman

Ryan A VanRiper

In an embodiment, a computer-based service security system receives a communication such as a query. The system processes that query in a server, which may be referred to as a lead server, and creates a plurality of copies of that lead server. The query is transferred to the plurality of copies of the lead server when the query did not cause a problem in the lead server. The query is transferred to a learning server when the query caused a problem in the lead server. The lead server is replaced by one of the copies of the lead server when the query caused a problem on the lead server.

System and method for computer service security

Methods and apparatus for performing formal verification of a system defined by a set of automata are useful in facilitating computing efficiencies during the verification of an incremental system design. The various embodiments permit computing efficiencies by saving information generated during a verification of the system for use in subsequent verification runs. The saved information includes calculation results pertaining to instances or elements of the system that do not require modification for the next subsequent verification.

Growing community of inventors

Purcellville, VA, United States of America

Michael Pelican