Verifying computations with state.

Benjamin Braun Ariel J. Feldman Zuocheng Ren Srinath T. V. Setty Andrew J. Blumberg Michael Walfish

Published in: SOSP (2013)

Keyphrases

state space
search engine
data structure
genetic algorithm
case study
cooperative