Software Developer & Tech Enthusiast

HOME
ABOUT
PORTFOLIO
SKILLS & EXPERTISE
CONTACT
RESUME
ARCHIVES

Home Tags refinement

Tag

refinement 1

TLA+ in Practice: Refinement, Composition, and Real Protocol Verification Apr 24, 2026

Recently Updated

Advanced Git Internals: Packfile Mechanics, Merge Strategies, and the Wire Protocol
Git Internals: Objects, Refs, and the Machinery Behind the Porcelain
Emacs Keybindings: A Comprehensive Reference from Basics to Advanced
TLA+ Data Structures: Sets, Functions, Sequences, Records, and Beyond
TLA+ in Practice: Refinement, Composition, and Real Protocol Verification

Trending Tags

distributed-systems yubikey fido2 formal-verification model-checking openpgp pluscal tla-plus advanced authentication

© 2026 Sunil Murthy. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

distributed-systems yubikey fido2 formal-verification model-checking openpgp pluscal tla-plus advanced authentication