model checking
2 feeds in the directory cover this.
Protocols Made Fun
All things about protocol specification, testing, and verification. Creative Commons Attribution 4.0 International License.
Proofs and Intuitions
A blog about mathematics, computing, formal verification, and the ideas behind them
Machine-readable: JSON · all topics