Nondeterminism in Formal Specification (buttondown.email)

submitted 2 weeks ago by armchair_progamer@programming.dev to c/formal_methods@programming.dev

0 comments fedilink hide all child comments

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.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here

this post was submitted on 17 Jun 2024

9 points (100.0% liked)

Formal Methods

153 readers

9 users here now

founded 11 months ago

MODERATORS

Ategon@programming.dev

synthetic_apriori@programming.dev