{"type": "article", "title": "The Lock That Never Asks Anyone: Dodging Consensus with a Model Checker", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/the-lock-that-never-asks-anyone-dodging-consensus-with-a-model-checker", "original_source": "https://dhilst.github.com/formal-verification/model-checking/caelum/distributed-systems/nfs/2026/09/26/The-Lock-That-Never-Asks-Anyone/", "published": "2026-09-26T00:00:00+00:00", "accessed": "2026-09-26", "id": "the-lock-that-never-asks-anyone-dodging-consensus-with-a-model-checker"}