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