Formal Methods

169 readers

1 users here now

founded 2 years ago

MODERATORS

Ategon

synthetic_apriori

I formally modeled Dreidel for no good reason (buttondown.email)

submitted 1 year 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 0 points 1 year 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.

permalink
fedilink
source