39 citations · 39 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022
Understanding Inconsistency in Azure Cosmos DB with TLA+
A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe
Beyond implementation correctness of a distributed system, it is equally important to understand exactly what users should expect to see from that system. Even if the system itself…
cs.SE2019★ 39 cited
The TLA+ Toolbox
Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts
We discuss the workflows supported by the TLA+ Toolbox to write and verify specifications. We focus on features that are useful in industry because its users are primarily engineer…