LightCheck is a type-safe, F#, QuickCheck-based clone.
- Random generation is based on QuickCheck 22.214.171.124 and 2.8.2.
- Shrinking of values is based on QuickCheck 2.8.2.
- Model-based testing is based on Erlang's QuickCheck 1.37.2.
LightCheck is currently a work in progress. In the meantime, you might want to look at Jack.