Formal Methods @programming.dev armchair_progamer @programming.dev 3mo ago

Nondeterminism in Formal Specification

buttondown.email Nondeterminism in Formal Specification

Just an unordered collections of thoughts on this. In programming languages, nondeterminism tends to come from randomness, concurrency, or external forces...

Nondeterminism is used very often in formal specifications, and not just when multi-threading or explicit randomness are involved. This article provides examples, insight into why that is, and more.

0 comments