validity-scientific (hackage): Validity and validity-based testing
Keywords: library|mit|web|explicit-invariants|invalid-values|invariants|sanity-test|validity