issues
search
advancedtelematic
/
quickcheck-state-machine
Test monadic programs using state machine based models
Other
203
stars
25
forks
source link
Add link to TLA+ formalisation of Linearisability paper. [ci skip]
#245
Closed
stevana
closed
5 years ago