Probabilistic in ProVerB

• AMYTISS
• COMPASS
• DaPPer
• DIGITS
• FACT
• KIPRO2
• MoGym
• Premise
• PrIC3
• PRISM
• PRISM-games
• STAMINA
• STMC
• Storm
• τ-DIGITS

15 items on this list.