Waqas Younas' blog
Waqas Younas' blog
Waqas Younas
Writing
Technology
This is my little corner of the internet, where I talk about writing, technology, model checking and formal methods, and other topics that interest me.
Latest posts
-
How to Solve Santa Claus Concurrency Puzzle with a Model Checker 2026-01-09 09:00pm
-
How to Help Santa Claus Concurrently 2025-12-22 09:00pm
-
Reproducing the AWS Outage Race Condition with a Model Checker 2025-10-29 09:00pm
-
When the Simplest Concurrent Program Goes Against All Intuition 2025-01-12 09:00pm
-
How concurrency works: A visual guide 2024-12-11 09:00pm
-
How Rendezvous Channels Work in PROMELA (SPIN) 2024-11-17 09:00pm
-
How Control Structures Work in PROMELA (SPIN) 2024-11-09 09:00pm
-
The Beautiful Simplicity of the Gentzen System 2024-10-28 09:00pm