Markus Alexander Kuppe | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Leslie Lamport
2 publications
Daniel Ricketts
2 publications
A. Finn Hackett
1 publication
Joshua Rowe
1 publication

research

∙ 10/24/2022

Understanding Inconsistency in Azure Cosmos DB with TLA+

Beyond implementation correctness of a distributed system, it is equally...

0 A. Finn Hackett, et al. ∙

research

∙ 12/23/2019

The TLA+ Toolbox

We discuss the workflows supported by the TLA+ Toolbox to write and veri...

0 Markus Alexander Kuppe, et al. ∙