Assignee
TOMKINS PAUL LESLIE
GB·1 granted patent·1 pending application·0 citations·filing 2008–2013
Technology mixG06F2
Top patents by PatentIndex Score
2 records- 0129US9582531B2System and method of conclusively verifying the correctness of an information system without needing to test every combination of behavior at run-timeTOMKINS PAUL LESLIE·Filed 2013·Granted Feb 28, 2017·0 cites·10 claims
- 0226US2011022575A1System and method of conclusively verifying the correctness of an information system without needing to test every combination of behaviour at run-timeTOMKINS PAUL LESLIE·Filed 2008·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when TOMKINS PAUL LESLIE files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →