Skip to content
TLA

Inductive invariant validation. #54

Sign in to view logs

Inductive invariant validation.

Inductive invariant validation. #54

Run time

Learn about OS pricing on GitHub Actions
Job Run time
tlc
1h 6m 27s
apalache
6m 22s
1h 12m 49s