• DPF

  • Referenced in 3 articles [sw12853]
  • database applications. We describe the design of DPF, an explicit-state model checker for database ... backed web applications. DPF interposes between the program and the database layer, and precisely tracks ... reduction based on these relations.par We apply DPF to look for atomicity violations ... design choices and demonstrate the effectiveness of DPF on a set of Java benchmarks...
  • AVL

  • Referenced in 18 articles [sw09036]
  • FIRE® is a powerful multi-purpose thermo-fluid...