Login / Signup

Property Directed Reachability for Proving Absence of Concurrent Modification Errors.

Asya FrumkinYotam M. Y. FeldmanOndrej LhotákOded PadonMooly SagivSharon Shoham
Published in: VMCAI (2017)
Keyphrases
  • multiscale
  • evolutionary algorithm
  • state space
  • error analysis
  • databases
  • learning algorithm
  • decision making
  • web pages
  • digital libraries
  • user interface
  • desirable properties
  • concurrent execution