ResearchBenchmarksFormal Verification on conveyor_sequencing 5 rungs, 3 propsFollow0.04Verification Time (s)ESBMC-PLC0.0380.0390.040.041Jun 13, 2026Evaluation ResultsMethodMethodLinksVerification Time (s)Verification ResultESBMC-PLCK-value=1K-value=12026.060.04—