StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Do formal methods of program verfication have a place in industry?
| Author | Votes | Δ |
|---|---|---|
| Jörg W Mittag | 12 | +1.03 |
| Adam Wright | 8 | +0.49 |
| Roman Plášil | 5 | +2.56 |
| Norman Ramsey | 4 | -0.35 |
| S.Lott | 4 | -0.39 |
| Pascal Cuoq | 2 | -1.22 |
| Jay Abraham | 2 | 0.00 |
| Wei Hu | 1 | -2.90 |
| soru | 1 | -3.14 |
| Daniel Daranas | 0 | 0.00 |
Last visited: Sep 14, 2014, 5:07:29 AM