Method for automatic translation of ladder logic to a SMT-based model checker in a network (US Patent 11906943)

Patent number: 11906943 Kind code: B2 Granted: 2024-02-20 Filed: 2021-08-12 Inventors: Roberto Bruttomesso (Morazzone, IT); Alessandro Di Pinto (Malnate, IT); Moreno Carullo (Gavirate, IT); Andrea Carcano (San Francisco, CA, US) Assignees: Nozomi Networks Sagl (Mendrisio, CH) CPC: G05B 19/041; G05B 19/056; G06F 11/3466; G06F 7/523; G06F 8/40; G06F 9/451; G06N 5/047

Abstract

The present invention relates to a method for automatic translation of ladder logic to a SMT-based