conftrace_

idempotence verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

causal consistency (1) log-based method (1) serverless computing (1) fault tolerance (1) automated reasoning (1)

Papers

Automated Verification of Idempotence for Stateful Serverless Applications OSDI 2023