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, 2008Priority Date: January 30, 2008
Inventors: Paul Leslie Tomkins
Assignee(s): Pro Se - Paul L. Tomkins
Current U.S. Classification: 707, 707/702000, 707/E17005
View Application Community (1)
First NameLast NameProfessional RoleComments / Prior Art / Invitations
 
StevenPearsonEngineer69 / 15 / 120
 
0 days left
Activity
Application
Discussion (4)
Prior Art (1)
Research (0)
Subscribe to this Community
Invite a Reviewer
HOW TO USE PEER TO PATENT
Peer To Patent Videos