search

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
203 stars 25 forks source link

Towards liveness and fairness guarantees #201

Open stevana opened 6 years ago

stevana commented 6 years ago

From POPL 2018: Reducing Liveness to Safety in First-Order Logic.