„deductive verification“

Suchergebnisse

48 Treffer

• Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
  Gouw, Stijn de ; Boer, Frank de ; Ahrendt, Wolfgang ; Bubel, Richard
• Deductive verification: from theory to practice – = Deduktive Verifikation: von der Theorie in die Praxis
  Bubel, Richard 2017
• BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation
  Fortin, Jean ; Gava, Frédéric
• Verification, model checking, and abstract interpretation – 12th international conference ; proceedings
  Jhala, Ranjit ; Schmidt, David 2011 Springer
• Symbolic execution as a framework for deductive verification of object-oriented programs
  Schlager, Steffen 2007 Sierke
• An improved rule for while loops in deductive program verification
  Beckert, Bernhard ; Schlager, Steffen ; Schmitt, Peter H. 2005 Univ., Fak. für Informatik, Bibl.
• Region analysis for deductive verification of C programs
  Mandrykin, M. U. ; Khoroshilov, A. V.
• Towards deductive verification of C programs with shared data
  Mandrykin, M. U. ; Khoroshilov, A. V.