Home
>
Archived Applications
>
20110022575
>
Claims
Pre-Grant Publication Number: 20110022575
System and method of conclusively verifying the correctness of an information system without needing to test every combination of behaviour at run-time
Filing Date:
January 30, 2008
Priority Date:
January 30, 2008
Inventors:
Paul Leslie Tomkins
Assignee(s):
Pro Se - Paul L. Tomkins
Current U.S. Classification:
707, 707/702000, 707/E17005
Claims
0 days left
Activity
Application
Abstract
Description
Claims (7)
Illustrations (61)
Discussion (4)
Prior Art (1)
Research (0)
Subscribe to this Community
Invite a Reviewer
HOW TO USE PEER TO PATENT
Peer To Patent Videos