Patent ID: 11906943
Assignee: NOZOMI NETWORKS SAGL
Field: Control (Instruments)
Classification: CPC G  H  Y | IPC G

Claim 2:
3. The method for automatic translation of ladder logic to a SMT-based model checker in a network according to claim 2, wherein said program is a Rockwell L5X file format,
wherein said set of data types of said program comprises the data types 1-bit Boolean, 8-bits signed integers, 16-bits signed integers, 32-bits signed integers, 64-bits signed integers, 8-bits unsigned integers, 16-bits unsigned integers, 32-bits unsigned integers, 64-bits unsigned integers, 32-bits single-precision floating point, 64-bits double-precision floating point and a variable-size array of 8-bits signed integers, and
wherein said predefined model set of data types is matched with said corresponding set of data types by removing said data type of variable-size array of 8-bits signed integers.