17
I formally modeled Dreidel for no good reason (buttondown.email)
submitted 10 months 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 1 points 10 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.

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

Formal Methods

163 readers
1 users here now

founded 1 year ago
MODERATORS
Ategon@programming.dev
synthetic_apriori@programming.dev