StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

dsteinhoefel

Rating
1500.82 (425,400th)

Reputation
419 (314,763rd)

Page: 1

Title	Δ
Validate basic set operations in JML	0.00
Coq: Use equality of types for type checking a term in a definition	0.00
JML, accurate definition for invariants	0.00
What is process interleaving? (in the realm of Concurrency)	0.00
Is anyone using Spin / Promela and jspin on WIndows 8?	0.00
Spin unreached in proctype "-end-"	+3.49
How would you turn these English sentences into predicate logic?	0.00
Select statement in Promela much slower than the equivalent if stat...	0.00
How do you check if all values in array are equal in Promela?	0.00
Inductively Defining Sets of Strings	0.00
Format verification in SPIN	-0.46
How can I model this code in promela/SP?	0.00
How to set an empty array in a for loop in JavaScript in case the a...	-1.81
Cache models in Promela	+3.61
How to limit the memory used by PROMELA?	0.00
How to draw a transition system in promela?	0.00
Is "~A=>B" a horn clause?	-4.00
If we prove there is no starvation, we don't need to prove that the...	0.00
How to receive message from 'any' channel in PROMELA/SPIN	0.00
Prove correctness of unit test	0.00
Writing a proof for an algorithm	0.00