ResearchBenchmarksFormal Verification on motor_interlock 2 rungs, 3 propsFormal Verification on motor_interlock 2 rungs, 3 propsFollow0.05Verification Time (s)ESBMC-PLC0.04750.048750.050.05125Jun 13, 2026Evaluation resultsMethodMethodLinksVerification Time (s)Verification ResultESBMC-PLCVerification Technique...Verification Technique=k-ind.2026.060.05—