The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 04, 2022
Filed:
Dec. 02, 2018
Applicant:
Adam Berger, Woodcliff Lake, NJ (US);
Inventor:
Adam Berger, Woodcliff Lake, NJ (US);
Assignee:
ezbds, LLC, Woodcliff Lake, NJ (US);
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 8/30 (2018.01); G06F 9/50 (2006.01); G06F 8/35 (2018.01); G06F 8/41 (2018.01); G06F 8/51 (2018.01);
U.S. Cl.
CPC ...
G06F 8/37 (2013.01); G06F 8/31 (2013.01); G06F 8/355 (2013.01); G06F 8/42 (2013.01); G06F 8/423 (2013.01); G06F 8/51 (2013.01); G06F 9/5005 (2013.01);
Abstract
An open compiler system for the construction of safe and correct computational systems. This system allows a user to define multiple computational resources, each of which containing multiple computations, which, together, provide some desired functionality. This system generates the artifacts required to create such computational resources, may verify logical properties of such a system, may integrate user-defined programs in the process of compiling such artifacts, and may allow for the deployment, debugging, and monitoring of such computational resources.