Login / Signup

Verification of parameterized concurrent programs by modular reasoning about data and control.

Azadeh FarzanZachary Kincaid
Published in: POPL (2012)
Keyphrases
  • data sets
  • data sources
  • control system
  • case study
  • relational databases
  • programming language
  • data quality