„Program verification“

Suchergebnisse

1.065 Treffer

• 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
  Lisper, Björn 2010 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Practical aspects of declarative languages – 13th international symposium ; proceedings
  Rocha, Ricardo ; Launchbury, John 2011 Springer
• Probabilistic verification and synthesis of the next generation airborne collision avoidance system
  Essen, Christian von ; Giannakopoulou, Dimitra
• Verification, model checking, and abstract interpretation – 12th international conference ; proceedings
  Jhala, Ranjit ; Schmidt, David 2011 Springer
• A formal verification environment for use in the certification of safety-related C programs
  Walter, Dennis
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer
• The verification of international conventions on protection of the environment and common resources – a comparative analysis of the instruments and procedures for international verification within the example of thirteen conventions
  Fischer, Wolfgang 1991 Forschungszentrum Jülich, Zentralbibliothek
• Verification and Validation in Systems Engineering – Assessing UML/SysML Design Models
  Debbabi, Mourad 2010 Springer Berlin Heidelberg
• Verification, Induction, Termination Analysis – Festschrift for Christoph Walther on the Occasion of His 60th Birthday
  Siegler, Simon ; Walther, Christoph ; Wasser, Nathan 2010 Springer Berlin Heidelberg
• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures
  Abdulla, Parosh Aziz ; Haziza, Frédéric ; Holík, Lukáš ; Jonsson, Bengt ; Rezine, Ahmed
• Verification, induction, termination analysis – Festschrift for Christoph Walther on the occasion of his 60th birthday
  Siegler, Simon ; Walther, Christoph ; Wasser, Nathan 2010 Springer
• Formal methods and software engineering – proceedings
  Dong, Jin Song ; Zhu, Huibiao 2010 Springer
• Verification of non-regular program properties
  Axelsson, Roland
• A program to generate simulated radioxenon beta–gamma data for concentration verification and validation and training exercises
  McIntyre, J. I. ; Schrom, B. T. ; Cooper, M. W. ; Prinke, A. M. ; Suckow, T. J. ; Ringbom, A. ; Warren, G. A.
• Runtime verification – first international conference ; proceedings
  Barringer, Howard ; Roşu, Grigore ; Sokolsky, Oleg 2010 Springer
• Simplifying Runtime Verification of Distributed Programs – Ameliorating the State Space Explosion Problem
  Al Maghayreh, Eslam 2010 VDM Verlag Dr. Müller
• Algebraic Methodology and Software Technology – 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
  Johnson, Michael ; Pavlović, Dus̆ko 2004 Springer Berlin Heidelberg
• Hardware-Software Coverification of Programmable SOCs – Verification tips and tricks
  Sule, Ambarish Mukund ; Davis, William Rhett 2010 VDM Verlag Dr. Müller
• Verification and validation in systems engineering – assessing UML/SysML design models
  Debbabi, Mourad 2010 Springer