US Patent Issued to Formal Vindications on Jan. 13 for "Automated public certification of specifications and software" (Spanish Inventors)

ALEXANDRIA, Va., Jan. 13 -- United States Patent no. 12,524,327, issued on Jan. 13, was assigned to Formal Vindications SL (Barcelona, Spain).

"Automated public certification of specifications and software" was invented by Guillermo Errezil Alberdi (Irun, Spain), Mireia Gonzalez Bedmar (Valencia, Spain) and Eduardo Hermo Reyes (Barcelona, Spain).

According to the abstract* released by the U.S. Patent & Trademark Office: "Systems and methods to publicly certify a specification and its corresponding software for a software project. A publicly certified specification and its software can consist of a verified software that comes with an interpretation of the formal specification written in some accessible language, in such a way that at leas...