this post was submitted on 11 Apr 2024

8 points (100.0% liked)

Formal Methods

166 readers

3 users here now

founded 1 year ago

MODERATORS

synthetic_apriori

8

Don't let Alloy facts make your specs a fiction (www.hillelwayne.com)

submitted 7 months ago by armchair_progamer to c/formal_methods

0 comments fedilink hide all child comments

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here