Information Flow Verification on SecIC3 Multiplier (G7)
0.1Runtime (s)SecIC3 Best
Evaluation Results
| Method | Links | |
|---|---|---|
| SecIC3 BestBackend=ABC-PDR, Configuration=Best Reproduced2026.06 | 0.1 | |
| g-AoNBackend=ABC-PDR, Configuration=Guarded AoN2026.06 | 0.1 | |
| g-MaxlBackend=ABC-PDR, Configuration=Guarded Maximal2026.06 | 0.1 | |
| g-MaxmBackend=ABC-PDR, Configuration=Guarded Maximum2026.06 | 0.1 | |
| g-StSplBackend=ABC-PDR, Configuration=Guarded State-split2026.06 | 0.1 | |
| g-HybBackend=ABC-PDR, Configuration=Guarded Hybrid2026.06 | 0.1 | |
| S+g-MaxlBackend=ABC-PDR, Configuration=Symmetry + Guarded Maximal2026.06 | 0.1 | |
| S+g-StSplBackend=ABC-PDR, Configuration=Symmetry + Guarded State-split2026.06 | 0.1 | |
| PDRBackend=ABC-PDR, Configuration=Base2026.06 | 6.1 |