„Programmverifikation“

Suchergebnisse

470 Treffer

• Static analysis – 13th international symposium ; proceedings
  Yi, Kwangkeun 2006 Springer
• Formal methods – proceedings
  Misra, Jayadev 2006 Springer
• Model checking software – proceedings
  Valmari, Antti 2006 Springer
• Hardware and software verification and testing – revised selected papers
  Ur, Shmuel 2006 Springer
• Static analysis – 12th international symposium ; proceedings
  Hankin, Chris 2005 Springer
• Verification, model checking, and abstract interpretation – 7th international conference ; proceedings
  Emerson, E. Allen 2006 Springer
• Formal methods – proceedings
  Fitzgerald, John 2005 Springer
• Formal methods – proceedings
  Araki, Keijiro 2003 Springer
• Model checking software – proceedings
  Graf, Susanne 2004 Springer
• Tools and algorithms for the construction and analysis of systems – 10th international conference ; proceedings
  Jensen, Kurt 2004 Springer
• Perspectives of system informatics – revised papers
  Broy, Manfred 2003 Springer
• Verification, model checking, and abstract interpretation – 5th international conference ; proceedings
  Steffen, Bernhard 2003 Springer
• Programming languages and systems – first Asian symposium
  Ohori, Atsushi 2003 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Verification, model checking, and abstract interpretation – 4th international conference ; proceedings
  Zuck, Lenore D. 2002 Springer
• Applied semantics – advanced lectures
  Barthe, Gilles 2002 Springer
• Model checking software – proceedings
  Bošnački, Dragan 2002 Springer
• Verification, model checking, and abstract interpretation – third international workshop ; revised papers
  Cortesi, Agostino 2002 Springer
• The Mondex Challenge: Machine Checked Proofs for an Electronic Purse
  Schellhorn, Gerhard ; Grandy, Holger ; Haneberg, Dominik ; Reif, Wolfgang 2006 Universität Augsburg
• Hardware and Software: Verification and Testing – 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  2011 Springer Berlin Heidelberg