List your company
ResearchFormerly WizWand

Information Flow Verification on SecIC3 Rocket (G11)

1.5Runtime (s)SecIC3 Best
1.32.6545.35Jun 20, 2026
Updated 4mo ago

Evaluation results

MethodLinks
SecIC3 BestBackend=ABC-PDR, Configuration=Best Reproduced2026.061.5
S+g-MaxlBackend=ABC-PDR, Configuration=Symmetry + Guarded Maximal2026.061.8
S+g-StSplBackend=ABC-PDR, Configuration=Symmetry + Guarded State-split2026.061.8
g-StSplBackend=ABC-PDR, Configuration=Guarded State-split2026.062.6
g-AoNBackend=ABC-PDR, Configuration=Guarded AoN2026.062.7
g-MaxlBackend=ABC-PDR, Configuration=Guarded Maximal2026.062.7
g-MaxmBackend=ABC-PDR, Configuration=Guarded Maximum2026.062.7
g-HybBackend=ABC-PDR, Configuration=Guarded Hybrid2026.062.7
PDRBackend=ABC-PDR, Configuration=Base2026.066.5