StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Patrick Trentin

Rating
1486.86 (4,455,667th)

Reputation
4,646 (35,788th)

Page: 1 2 3 4 5 ... 6

Title	Δ
Is this model of Peterson's algorithm incorrect?	0.00
syntax error nested NEXT operator in NuSMV	0.00
SPIN assert not triggered	0.00
(get-unsat-core) Z3: unsat core is not available	-2.00
NuSMV getting stuck at a trivial deadlock	0.00
Understanding recursively defined error in NuSMV	0.00
Assign random value to variables in NuSMV	0.00
how to use declare-fun with values in Z3 SMTLIB	0.00
Clarification SMT types; bug in variable truncation?; allowing Bool...	+0.00
How to join processes in Promela?	0.00
NuSMV development : Change the Function of "TRUE" in case...	0.00
NuSMV: difference between IVAR and VAR	0.00
Traffic light spin	0.00
Genetic algorithm for optimization function	0.00
Error: indexing array 'channels'	0.00
Spin Model Checker does not find a bug when using remote varrefs	0.00
How to deal with the error that Nusmv cannot check ctl properties w...	0.00
Process not terminated causing a "too many processes" error	0.00
Strange error on Promela - Error: syntax error saw 'keyword: do...	0.00
How to store and manage commonly used strings and string Arrays nea...	+0.40
How does one formally verify that the following protocol is correct?	0.00
Z3/SMT-LIB Evaluating function and collecting results	0.00
Digicode in Nusmv	0.00
Genetic Algorithm - Unordered variable length chromosomes - Crossov...	-1.49
Problems with user defined z3 sorts	0.00
Restricting assert-soft to satisfiability only in optimization scen...	0.00
What's the difference between Link and Path in PDDL?	0.00
Finding suboptimal solution (best solution so far) with Z3 command...	0.00
Optimization with Minizinc - Only print optimal solutions	-1.68
z3: solve the Eight Queens puzzle	0.00
Formal method : []<> Infinitely often (Always eventually) in...	0.00
How to use NuSMV to witness the man-in-the-middle attack (Needham-S...	0.00
Using Spin / Promela to model heartbeat protocol?	0.00
Z3 SMT-LIB2.0 Codependent for loops	0.00
Error: VECTORSZ is too small	0.00
send message to set of channels in non-deterministic order	0.00
How can I bind the given input to another proctype function?	0.00
How to propagate set of int domains during mzn2fzn conversion?	-0.50
Undeclared variable error when using mtype with Jspin	+0.51
how to model a queue in promela?	0.00
correct use of ``progress`` label	-2.00
correct use of ``progress`` label	+2.00
Lock between N Processes in Promela	0.00
Check if an element is present in a array #minizinc	0.00
How to use Spin to check Promela code from the command line	0.00
Promela: passing array to new proctype	0.00
How to implement repeat untill (condition) loop in promela?	0.00
NuSMV - AND model	0.00
fzn2smt solver answers with `unknown` on tested formulas	0.00
Referencing previous state in Promela LTL statement	+0.49