Peer To Patent

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 Prior Art for Claim 00003

A system as claimed in Claim 1 where rules on the database and the clients ensure the validity of system meta data, application meta data and rule meta data thus maintaining the integrity of the system.

0 days left

Subscribe to this Community

Invite a Reviewer

HOW TO USE PEER TO PATENT

Peer To Patent Videos