List your company
ResearchFormerly WizWand

Information Flow Verification on SecIC3 Sodor (G9)

0.4Runtime (s)SecIC3 Best
0.1761.6883.24.712Jun 20, 2026
Updated 4mo ago

Evaluation results

MethodLinks
SecIC3 BestBackend=ABC-PDR, Configuration=Best Reproduced2026.060.4
S+g-StSplBackend=ABC-PDR, Configuration=Symmetry + Guarded State-split2026.060.4
S+g-MaxlBackend=ABC-PDR, Configuration=Symmetry + Guarded Maximal2026.060.5
g-MaxmBackend=ABC-PDR, Configuration=Guarded Maximum2026.060.7
g-HybBackend=ABC-PDR, Configuration=Guarded Hybrid2026.060.7
g-AoNBackend=ABC-PDR, Configuration=Guarded AoN2026.060.8
g-MaxlBackend=ABC-PDR, Configuration=Guarded Maximal2026.060.9
PDRBackend=ABC-PDR, Configuration=Base2026.061.4
g-StSplBackend=ABC-PDR, Configuration=Guarded State-split2026.066