Patents Assigned to Syver, LLC
  • Method and tool for automatic verification of software protocols
    Publication number: 20070277163
    Abstract: Disclosed herein, a method of automatically verifying software code is provided. The method may include generating a logic representation of the software code, identifying a set of well-defined formula sequences in the logic representation of the software code, and verifying the software code based on the set of well-defined formula sequences. Exemplary embodiments of the verification method verify completeness and consistency of the software code and ensure complete code coverage.
    Type: Application
    Filed: May 24, 2007
    Publication date: November 29, 2007
    Applicant: Syver, LLC
    Inventor: Dimiter R. Avresky