{"schema_version":"1.0","canonical_url":"https://patentable.app/patents/US-11522978","patent":{"patent_number":"US-11522978","title":"Methods, systems, and media for network model checking using entropy based BDD compression","assignee":null,"inventors":[],"filing_date":"2020-08-31T00:00:00.000Z","publication_date":"2022-12-06T00:00:00.000Z","cpc_codes":["H04L","H04L","H04L","H04L"],"num_claims":20,"abstract":"Methods, systems and media for network model checking using entropy based binary decision diagram (BDD) compression are described. Two related compression techniques are described: bit level reduction to reduce the number of bits required for each network field according to its nature, and field level reduction to reduce the size of the BDD tree by finding a near-optimum ordering of the fields in the BDD space. These two techniques, separately or together, may alleviate the state explosion problem the limits application of BDD based model checking. The two techniques complement each other synergistically, particularly in the domain of computer network checking and verification."},"analysis":{"summary":null,"layman_explanation":null,"technical_analysis":null,"business_analysis":null,"faqs":null,"topics":[],"tech_cluster":null},"seo":{"title":"Methods, systems, and media for network model checking using entropy based BDD compression","description":"Methods, systems and media for network model checking using entropy based binary decision diagram (BDD) compression are described. Two related compression techniques are described: bit level reduction","keywords":[]},"attribution":{"source":"Patentable","source_url":"https://patentable.app","canonical_url":"https://patentable.app/patents/US-11522978","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-11522978","citation_suggestion":"Patentable. \"Methods, systems, and media for network model checking using entropy based BDD compression\" (US-11522978). https://patentable.app/patents/US-11522978","copyright_holder":"Nomic Interactive Technology LLC"},"links":{"html":"https://patentable.app/patents/US-11522978","json":"https://patentable.app/api/llm-context/US-11522978","site":"https://patentable.app","llms_txt":"https://patentable.app/llms.txt"},"generated_at":"2026-05-30T17:38:30.521Z"}