StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

M.K.

Rating
1492.27 (4,363,656th) 		Reputation
36 (1,226,227th)
Page: 1
Title Δ
Expressing a "random" behaviour (external API) in TLA+ -4.00
Why is TLC reporting errors on valid states? 0.00
How to check if a decision tree satisfies an invariant? 0.00
TLC model checker doesn't terminate on an and/or list version o... -3.73
How to edit or set the TLA+ Toolbox Module Modification History Com... 0.00
How to get sum of sequence elements in TLA+/PlusCal using operator? 0.00
TLA+ translated result parse failed 0.00
Reproducing deadlock in TLA+ 0.00
Use module overloading to implement a hash function in TLA+ 0.00