Hewlett-packard Development Company, L.P.

Ryan Clarenc Thompson

John Warren Maly

Zachary Steven Smith

A computer implemented method of verifying events generated by an agent includes detecting a stimulus at an input of the agent and determining whether generation of an event by the agent in response to the stimulus is conditional. An expectation of the event is created based at least in part on the stimulus, wherein the agent is expected to generate the event. The method also includes making the expectation speculative if the generation of the event is conditional.

Growing community of inventors

Loveland, CO, United States of America

Ryan Clarenc Thompson