🐧 💬 Announcing a new mailing list for discussing formal methods in Linux development: formal@lists.linux.dev

- Subscription info: https://subspace.kernel.org/lists.linux.dev.html
- Archive: https://lore.kernel.org/formal/

Several folk have been experimenting with formal methods, including, but not limited to:

🔗 Corinn Tiffany & Julia Lawall: https://lpc.events/event/20/contributions/2540/
🔗 @brauner : https://github.com/brauner/linux-formal
🔗 Natalie Klaus et al: https://lore.kernel.org/lkml/9YSGLlcFbkzUCvt-LBQkhT8BI5Y4v8yNQC4bkTK2zxwm5W-gnkX4rL0SRvQrb1bvGNY-dACfKyk3_vwJE_arlXZaXDK1cYdF95SFQNGJASw=@runtimeverification.com/
🔗 Martin Fink et al, https://lpc.events/event/20/contributions/2440/

Fwd / boost as appropriate.