Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Log in
Register
linkhut
Bookmarks
from user:
kawcco
tagged with:
engineering
formal-methods
Sort by:
recency
popularity
Order:
descending
ascending
22 Aug 25
What Isn't Your System Supposed to Do?
https://www.youtube.com/watch?v=d9cM8f_qSLQ
see also: https://www.hillelwayne.com/talks/informal-specification/
by
kawcco
6 months ago
Tags:
formal-methods
logic
specification
engineering
software