Variations on Constants Flow Analysis of Sequential and Parallel Programs

Похожие документы

• Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
  Публикация: (2013)
• Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
  по: Banach, Richard
  Публикация: (2005)
• Fundamental Approaches to Software Engineering (vol. # 3922) 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March
  по: Baresi, Luciano
  Публикация: (2006)
• Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
  по: Bin, Eyal
  Публикация: (2007)
• Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
  по: Hutchison, David
  Публикация: (2009)