Formal Verification on traffic_light_safe 21 rungs 8 props
0.04Verification Time (s)ESBMC-PLC
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| ESBMC-PLCVerification Technique=k-ind.2026.06 | 0.04 | — |
Loading the SOTA2 catalog…
| Method | Links | ||
|---|---|---|---|
| ESBMC-PLCVerification Technique=k-ind.2026.06 | 0.04 | — |