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

Claim 3:
4. The method for automatic translation of ladder logic to a SMT-based model checker in a network according to claim 3,
wherein said set of data types of said program has the notation BOOL for said 1-bit Boolean, SINT for said 8-bits signed integers, INT for said 16-bits signed integers, DINT for said 32-bits signed integers, LINT for said 64-bits signed integers, USINT for said 8-bits unsigned integers, UINT for said 16-bits unsigned integers, UDINT for said 32-bits unsigned integers, ULINT for said 64-bits unsigned integers, REAL for said 32-bits single-precision floating point and LREAL for said 64-bits double-precision floating point, and
wherein said predefined model set of data types is matched with said corresponding set of data types having the notation Boolean for said 1-bit Boolean, int8 for said 8-bits signed integers, int16 for said 16-bits signed integers, int32 for said 32-bits signed integers, int64 for said 64-bits signed integers, usint8 for said 8-bits unsigned integers, uint16 for said 16-bits unsigned integers, uint32 for said 32-bits unsigned integers, uint64 for said 64-bits unsigned integers, float32 for said 32-bits single-precision floating point and float64 for said 64-bits double-precision floating point.