Login
From:
muratbuffalo.blogspot.com
(Uncensored)
subscribe
Multi-Grained Specifications for Distributed System Model Checking and Verification
http://muratbuffalo.blogspot.com/2025/04/multi-grained-specifications-for.html
links
backlinks
Tagged with:
tla
automated reasoning
This EuroSys 2025 paper wrestles with the messy interface between formal specification and implementation reality in distributed systems. T...
Roast topics
Find topics
Find it!
