conftrace_

log-based method

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

idempotence verification (1) causal consistency (1) serverless computing (1) fault tolerance (1) automated reasoning (1)

Papers

Automated Verification of Idempotence for Stateful Serverless Applications OSDI 2023