AI·Formal verification method using ESBMC-PLC+ detects Ladder Logic Bombs in IEC 61131-3 PLC programs by focusing on function-block bodies where malicious code hides.
Search
What are you looking for?
1 result for “formal-verification”
Search
1 result for “formal-verification”
AI·Formal verification method using ESBMC-PLC+ detects Ladder Logic Bombs in IEC 61131-3 PLC programs by focusing on function-block bodies where malicious code hides.