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

Note Detail

Kristopher Johnson@oldmankris@mastodon.xyz (2026-10-05 03:04:02)
If I need a crash course in formal software verification and testing, where should I start?

If it matters, the specific domains I’m interested in are mobile/edge computing and distributed systems.
---Reply---
💙🩷💜 Brett [he/him/any]@brettm@swarm.coiloptic.org (2026-10-05 07:46:07)
@oldmankris@mastodon.xyz maybe this paper?
https://link.springer.com/content/pdf/10.1007/978-3-031-57249-4_11

also i think the uni course by the inventor of okl4 is on the unsw computer science youtube page