v1.3.0

StatWhy

StatWhy is a software tool for automatically verifying the correctness of statistical hypothesis testing programs. In this file, we present the structure of this repository, the resource requirements for the tool, and show how to verify the programs that implement the hypothesis testing examples addressed in our paper: https://doi.org/10.1007/978-3-031-98679-6_10

Updates from 1.2.1

• We renamed the type population to distribution to use terminology correctly.
• We added a scale parameter to the type dataset. This allows StatWhy to check that a measurement scale is correctly specified when a hypothesis test is used.
• We implemented more hypothesis testing methods. See Section 7.1 of the user documentation for the list of supported methods.
• We refined our custom proof strategy "StatWhy". The original proof strategy is available as "StatWhy aggressive".

v1.2.1

Correct LICENSE

v1.2.0

Update executed logs

v1.1.0

Update LICENSE

Test Release

Test Release