Share your thoughts, 1 month free Claude Pro on usSee more

Information Flow Verification on SecIC3 Sodor (G9)

0.4Runtime (s)

SecIC3 Best

Updated 1mo ago

Evaluation Results

Method	Links
SecIC3 Best 2026.06		0.4
S+g-StSpl 2026.06		0.4
S+g-Maxl 2026.06		0.5
g-Maxm 2026.06		0.7
g-Hyb 2026.06		0.7
g-AoN 2026.06		0.8
g-Maxl 2026.06		0.9
PDR 2026.06		1.4
g-StSpl 2026.06		6