Ian Dardik | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Stavros Tripakis
14 publications
William Schultz
3 publications

research

∙ 05/12/2022

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+

We present a new technique for automatically inferring inductive invaria...

0 William Schultz, et al. ∙

research

∙ 09/24/2021

Formal Verification of a Distributed Dynamic Reconfiguration Protocol

We present a formal, machine checked TLA+ safety proof of MongoRaftRecon...

0 William Schultz, et al. ∙