{"schema_version":"1.0","canonical_url":"https://patentable.app/patents/US-8479168","patent":{"patent_number":"US-8479168","title":"Computer-readable recording medium storing verification support program, information processor, and verification support method","assignee":null,"inventors":[],"filing_date":"2009-12-04T00:00:00.000Z","publication_date":"2013-07-02T00:00:00.000Z","cpc_codes":["G06F"],"num_claims":20,"abstract":"An information processing and method include acquiring a trace group indicating instants of time of execution of processing operations and vestiges of contents of the execution, behavior information indicating behaviors of a processor of the arbitrary system, and state information indicating state transitions of an arbitrary hardware device other than the processor. A behavior trace searching unit searches when an arbitrary behavior is specified from behaviors indicated by the behavior information, a state trace searching unit searches when an arbitrary state transition is specified from the state transition indicated by the state information, an associating unit associates, the traces found by the behavior trace searching unit and the traces found by the state trace searching unit according to an instruction and an outputting unit outputs the traces associated by the associating unit as traces for a simulation of the behaviors."},"analysis":{"summary":null,"layman_explanation":null,"technical_analysis":null,"business_analysis":null,"faqs":null,"topics":[],"tech_cluster":null},"seo":{"title":"Computer-readable recording medium storing verification support program, information processor, and verification support method","description":"An information processing and method include acquiring a trace group indicating instants of time of execution of processing operations and vestiges of contents of the execution, behavior information i","keywords":[]},"attribution":{"source":"Patentable","source_url":"https://patentable.app","canonical_url":"https://patentable.app/patents/US-8479168","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-8479168","citation_suggestion":"Patentable. \"Computer-readable recording medium storing verification support program, information processor, and verification support method\" (US-8479168). https://patentable.app/patents/US-8479168","copyright_holder":"Nomic Interactive Technology LLC"},"links":{"html":"https://patentable.app/patents/US-8479168","json":"https://patentable.app/api/llm-context/US-8479168","site":"https://patentable.app","llms_txt":"https://patentable.app/llms.txt"},"generated_at":"2026-05-31T05:15:00.451Z"}