loop_invariants_verified
Verified loop-invariant examples
algorithms
verification
loop-invariants
Author
Version
0.8.1
License
Apache-2.0
Last updated
10 days ago
Downloads
56
#Verified Examples
This module contains small proof-oriented examples for binary search, integer
square root, division, upper bound, and non-negative counting.
Packages are organized as one verified example per directory. Each package keeps
its MoonBit source and any tests beside its generated interface file.
Run from the workspace root:
moon check
moon test
moon info
moon fmtInstall
Download zipVerified loop-invariant examples
algorithmsverificationloop-invariants
Apache-2.0
Updated 10 days ago
56 downloads