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 (4)
First NameLast NameProfessional RoleComments / Prior Art / Invitations
 
YaseminErsoyGrad/Undergrad Student1 / 7 / 1
 
AngelLam** Not Specified1 / 0 / 6
 
StevenPearsonEngineer69 / 15 / 120
 
DianeWillisComputer Professional/Technologist61 / 195 / 24
 
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