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

Information Flow Verification on SecIC3 FP_ADD (G2)

13Runtime (s)

PDR

Updated 1mo ago

Evaluation Results

Method	Links
PDR 2026.06		13
S+g-StSpl 2026.06		21.1
S+g-Maxl 2026.06		29.8
g-StSpl 2026.06		31.7
g-Maxm 2026.06		42.1
g-Maxl 2026.06		42.8
g-AoN 2026.06		43
g-Hyb 2026.06		71.1
SecIC3 Best 2026.06		89.7