Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-08-22 09:54:42)
@sun idk what that means. pony types?

formal verification has many names underneath.
---Reply---
Blurry Moon@sun@shitposter.world (2026-08-22 10:01:08)
@icedquinn really simple, set of annotations to state valid inputs and outputs, expected outcome of loop operations

---Replies---

Q.U.I.N.N.@icedquinn@blob.cat (2026-08-22 10:02:51)
@sun :blobcatpensive2: hoare and separation logic. that's not what makes something formally verifiable, but it helps.