jpf-probabilistic is a basic extension of JPF to model check randomized algorithms implemented in Java.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool