Patents by Inventor Niels Rehof

Niels Rehof 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).

  • Model checking with bounded context switches
    Publication number: 20060130010
    Abstract: Validity of one or more assertions for any concurrent execution of a plurality of software instructions with at most k?1 context switches can be determined. Validity checking can account for execution of the software instructions in an unbounded stack depth scenario. A finite data domain representation can be used. The software instructions can be represented by a pushdown system. Validity checking can account for thread creation during execution of the plurality of software instructions.
    Type: Application
    Filed: December 10, 2004
    Publication date: June 15, 2006
    Applicant: Microsoft Corporation
    Inventors: Niels Rehof, Shaz Qadeer
  • Object-based systematic state space exploration of software
    Publication number: 20050086648
    Abstract: The state space of modeled software can be explored using an object-based systematic state explorer. The object-based model can perform well even in light of the complexities of concurrent software. During state space exploration, differences between states can be stored instead of storing a complete copy of the state.
    Type: Application
    Filed: February 13, 2004
    Publication date: April 21, 2005
    Inventors: Anthony Andrews, Shaz Qadeer, Niels Rehof, Sriram Rajamani, Yichen Xie