Login / Signup

Automatic Atomicity Verification for Clients of Concurrent Data Structures.

Mohsen LesaniTodd D. MillsteinJens Palsberg
Published in: CAV (2014)
Keyphrases
  • data structure
  • data driven
  • verification method
  • neural network
  • response time
  • electronic commerce
  • semi automatic
  • model checking
  • multidatabase systems
  • database
  • databases
  • web services
  • index structure
  • fully automatic