US Patent Issued to GM Global Technology Operations on Feb. 24 for "Behavior verification for finite state machine (FSM)-modelled systems" (Israeli, American Inventors)

ALEXANDRIA, Va., Feb. 24 -- United States Patent no. 12,561,224, issued on Feb. 24, was assigned to GM Global Technology Operations LLC (Detroit).

"Behavior verification for finite state machine (FSM)-modelled systems" was invented by Asaf Degani (Tel Aviv, Israel), Yael Shmueli Friedland (Tel Aviv, Israel), Daniel Y. Rubin (Holon, Israel), Shani Avnet (Tel Aviv, Israel) and Lisa M. Talarico (Milford, Mich.).

According to the abstract* released by the U.S. Patent & Trademark Office: "A method for verifying system behavior and correcting design flaws in a finite state machine (FSM)-modeled system or any other representational method that includes receiving from a user device via a model verification platform, data associated with the syste...