this post was submitted on 28 Dec 2023
18 points (90.9% liked)

Formal Methods

190 readers
1 users here now

founded 2 years ago
MODERATORS
Ategon@programming.dev
synthetic_apriori@programming.dev
18
I formally modeled Dreidel for no good reason (buttondown.email)
submitted 2 years ago by armchair_progamer@programming.dev to c/formal_methods@programming.dev
1 comments fedilink hide all child comments
 

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

top 1 comments
sorted by: hot top controversial new old
[–] ExperimentalGuy@programming.dev 0 points 2 years 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.