Formal Methods

163 readers

1 users here now

founded 1 year ago

MODERATORS

[email protected]

Nondeterminism in Formal Specification (buttondown.email)

submitted 4 months ago by [email protected] to c/[email protected]

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