Login / Signup

Randomized Algorithms for Program Analysis and Verification.

George C. NeculaSumit Gulwani
Published in: CAV (2005)
Keyphrases
  • randomized algorithms
  • lower bound
  • approximation algorithms
  • practical problems
  • worst case
  • randomized algorithm
  • learning algorithm
  • model checking
  • np hard
  • data points