A page documenting the use of Spin/Promela to verify Plan 9's synchronization primitives.

https://swtch.com/spin/

#synchronization #verification #osdev #spin #promela