this post was submitted on 17 Jun 2024
9 points (100.0% liked)

Formal Methods

165 readers
3 users here now

founded 1 year ago
MODERATORS
 

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