StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs.

Yusuke Kawamoto Kentaro Kobayashi Kohei Suenaga

Published in: CoRR (2024)

Keyphrases

formal verification
statistical hypothesis testing
program slicing
model checking
automated verification
model checker
temporal logic
bounded model checking
sample size
software tools
symbolic model checking
data mining
boolean functions