Login / Signup
Automated Verification of Idempotence for Stateful Serverless Applications.
Haoran Ding
Zhaoguo Wang
Zhuohao Shen
Rong Chen
Haibo Chen
Published in:
OSDI (2023)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
publish subscribe
graph theory
temporal logic
digital libraries
structuring elements
social network analysis
particle swarm optimization
databases
general purpose
theorem proving
state space
event driven
search algorithm
computer vision