„Program Verification“

Suchergebnisse

1.065 Treffer

• Leveraging Applications of Formal Methods, Verification, and Validation – 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
  2010 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification, and Validation – 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  Margaria, Tiziana ; Steffen, Bernhard 2010 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• SPIN Model Checking and Software Verification – 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings
  Havelund, Klaus 2000 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
  Rocha, Ricardo ; Launchbury, John 2005 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
• Hardware and software: verification and testing – proceedings
  Chockler, Hana 2009 Springer
• Leveraging applications of formal methods, verification and validation – third international symposium ; proceedings
  Margaria, Tiziana 2008 Springer
• Verification, model checking, and abstract interpretation – 10th international conference ; proceedings
  Jones, Neil D. 2008 Springer
• Runtime verification – 8th international workshop ; selected papers
  Leucker, Martin 2008 Springer
• Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
  Logozzo, Francesco 2008 Springer
• Hardware and software, verification and testing – revised selected papers
  Bin, Eyal 2007 Springer
• Hardware and software verification and testing – revised selected papers
  Ur, Shmuel 2006 Springer
• Verification, model checking, and abstract interpretation – 7th international conference ; proceedings
  Emerson, E. Allen 2006 Springer
• Verification, model checking, and abstract interpretation – 5th international conference ; proceedings
  Steffen, Bernhard 2003 Springer
• Verification, model checking, and abstract interpretation – 4th international conference ; proceedings
  Zuck, Lenore D. 2002 Springer
• Verification, model checking, and abstract interpretation – third international workshop ; revised papers
  Cortesi, Agostino 2002 Springer
• Program verification using dynamic logic
  Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. 1988 Universität Augsburg
• A dynamic logic for program verification
  Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Meyer, Albert R. ; Taitslin, Michael A. 1989 Universität Augsburg
• Tactical theorem proving in program verification
  Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Stickel, Mark E. 1990 Universität Augsburg