{"schema_version":"1.0","canonical_url":"https://patentable.app/patents/US-12003514","patent":{"patent_number":"US-12003514","title":"Program verification and malware detection","assignee":null,"inventors":[],"filing_date":"2020-04-26T00:00:00.000Z","publication_date":"2024-06-04T00:00:00.000Z","cpc_codes":["H04L","G06F","G06F","G06F","G06F","H04L","H04L","H04L","H04L","H04W","H04L","H04W"],"num_claims":2,"abstract":"Software programs are updated and upgraded regularly. This is a cause for infection by malware (or a faulty program). By attaining the statistical relation between the input data to the program and the output data from the program the presence of malware may be detected with high fidelity. The base for this approach is the fact the necessary and sufficient conditions to determine the working of a program is evaluation of input against output."},"analysis":{"summary":null,"layman_explanation":null,"technical_analysis":null,"business_analysis":null,"faqs":null,"topics":[],"tech_cluster":null},"seo":{"title":"Program verification and malware detection","description":"Software programs are updated and upgraded regularly. This is a cause for infection by malware (or a faulty program). By attaining the statistical relation between the input data to the program and th","keywords":[]},"attribution":{"source":"Patentable","source_url":"https://patentable.app","canonical_url":"https://patentable.app/patents/US-12003514","license":"CC-BY-4.0-like","license_terms":"AI-generated analysis on this page (summary, layman_explanation, technical_analysis, business_analysis, faqs) may be reused with attribution and a visible link back to the canonical URL above. Patent abstracts, claims, and bibliographic data are USPTO public domain.","required_link":"https://patentable.app/patents/US-12003514","citation_suggestion":"Patentable. \"Program verification and malware detection\" (US-12003514). https://patentable.app/patents/US-12003514","copyright_holder":"Nomic Interactive Technology LLC"},"links":{"html":"https://patentable.app/patents/US-12003514","json":"https://patentable.app/api/llm-context/US-12003514","site":"https://patentable.app","llms_txt":"https://patentable.app/llms.txt"},"generated_at":"2026-05-31T00:18:44.336Z"}