Blog

Writings on system correctness — formal methods, testing, verification, and building reliable software systems.

Coming soon.