US Patent Issued to NUTECH VENTURES on Oct. 27 for "Systems, methods, and media for fault localization in declarative specification languages" (Nebraska Inventors)

ALEXANDRIA, Va., Oct. 27 -- United States Patent no. 12,775,541, issued on Oct. 27, was assigned to NUTECH VENTURES (Lincoln, Neb.).

"Systems, methods, and media for fault localization in declarative specification languages" was invented by Hamid Bagheri (Lincoln, Neb.), Thanhvu Nguyen (Lincoln, Neb.) and Guolong Zheng (Lincoln, Neb.).

According to the abstract* released by the U.S. Patent & Trademark Office: "In accordance with some embodiments, systems, methods, and media for fault localization in declarative specification languages are provided. One such method includes: receiving a model in a declarative specification language; querying an automated analysis of the declarative specification language for a counterexample, in which the ...