Sign in

Verifying computations with state.

Benjamin BraunAriel J. FeldmanZuocheng RenSrinath T. V. SettyAndrew J. BlumbergMichael Walfish
Published in: SOSP (2013)
Keyphrases
  • state space
  • search engine
  • data structure
  • genetic algorithm
  • case study
  • cooperative