Login / Signup

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.

Sebastian BurckhardtRajeev AlurMilo M. K. Martin
Published in: CAV (2006)
Keyphrases
  • data types
  • data model
  • database management systems
  • bounded model checking
  • database systems
  • information retrieval
  • data structure
  • cooperative
  • data streams
  • data analysis
  • user defined
  • abstract data types