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

Information Flow Verification on SecIC3 Rocket (G11)

1.5Runtime (s)

SecIC3 Best

Updated 1mo ago

Evaluation Results

Method	Links
SecIC3 Best 2026.06		1.5
S+g-Maxl 2026.06		1.8
S+g-StSpl 2026.06		1.8
g-StSpl 2026.06		2.6
g-AoN 2026.06		2.7
g-Maxl 2026.06		2.7
g-Maxm 2026.06		2.7
g-Hyb 2026.06		2.7
PDR 2026.06		6.5