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

Emacs Keybindings: A Comprehensive Reference from Basics to Advanced
TLC Performance and State Space Management: Every Optimization Technique
Raw TLA+ Essentials: The Complete Guide to Writing Specs Without PlusCal
PlusCal Essentials: The Complete Guide to Modeling Concurrent Systems
Cryptographic Key Linking: How Keys Are Derived, Bound, and Hierarchically Related

Trending Tags

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

© 2026 Sunil Murthy. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

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