this post was submitted on 28 Dec 2023
17 points (90.5% liked)

Formal Methods

166 readers
3 users here now

founded 1 year ago
MODERATORS
Ategon
synthetic_apriori
17
I formally modeled Dreidel for no good reason (buttondown.email)
submitted 11 months ago by armchair_progamer to c/formal_methods
1 comments fedilink hide all child comments
 

It uses PRISM, a "probabilistic model checker", so not your typical theorem prover or SAT solver.

you are viewing a single comment's thread
view the rest of the comments
[–] ExperimentalGuy 1 points 11 months ago

Ive never heard of a language for probabilistic modeling before but thank you good sir for this fine contribution to the library of random facts that is my brain.