StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs.

Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga

Browse the full CAV paper archive.