„program verification“

Suchergebnisse

1.065 Treffer

• Program Dependences, Slicing, and Verification – Accurate and Scalable Approaches for Concurrent Object Oriented Programs
  Ranganath, Venkatesh-Prasad 2010 VDM Verlag Dr. Müller
• Specification and Verification of Declarative Open Interaction Models – A Logic-Based Approach
  Montali, Marco 2010 Springer Berlin Heidelberg
• Specification and verification of declarative open interaction models – a logic-based approach
  Montali, Marco 2010 Springer
• 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)
  André, Etienne ; Frehse, Goran 2015 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Kleene Under a Demonic Star
  Desharnais, Jules ; Möller, Bernhard ; Tchier, Fairouz 2006 Universität Augsburg
• 20th International Conference on Types for Proofs and Programs (TYPES 2014)
  Herbelin, Hugo ; Letouzey, Pierre ; Sozeau, Matthieu 2015 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Development of automatic program verification for continuous function chart based on model checking
  Wardana, Awang Noor Indra 2009 Kassel Univ. Press
• Verification of second-order functional programs
  Aderhold, Markus Axel
• Runtime verification – 9th international workshop ; selected papers
  Bensalem, Saddek 2009 Springer
• Termination and verification for ill-posed semidefinite programming problems
  Jansson, Christian 2005 Universitätsbibliothek der Technischen Universität Hamburg-Harburg
• Hardware and software: verification and testing – proceedings
  Chockler, Hana 2009 Springer
• Verification, model checking, and abstract interpretation – 10th international conference ; proceedings
  Jones, Neil D. 2009 Springer
• Runtime verification – 8th international workshop ; selected papers
  Leucker, Martin 2008 Springer
• Leveraging applications of formal methods, verification and validation – third international symposium ; proceedings
  Margaria, Tiziana 2008 Springer
• Software verification: infinite state model checking and static program analysis – 06081 abstracts collection ; Dagstuhl seminar
  Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Software verification: infinite state model checking and static program analysis – Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
  Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• From Hyperedge Replacement to Separation Logic and Back
  Dodds, Mike ; Plump, Detlef 2011 Technische Universität Berlin
• Hardware and software: verification and testing – proceedings
  Yorav, Karen 2008 Springer
• Verification, model checking, and abstract interpretation – 9th international conference ; proceedings
  Logozzo, Francesco 2008 Springer
• Symbolic execution as a framework for deductive verification of object-oriented programs
  Schlager, Steffen 2007 Sierke