1 2 3 4
\* Direct-TLC check for DLV-0005/0013 lock-expiry recovery liveness. \* Run from specs/: java -jar tla2tools.jar -config RecoveryModel.cfg RecoveryModel.tla SPECIFICATION RecSpec PROPERTY RecRecovers