„Program Verification“

Suchergebnisse

1.065 Treffer

• The hypersonic technology development and verification strategy of the German hypersonics technology programme – AIAA-Paper 93-5072 presented at the Fifth International Aerospace Planes and Hypersonics Technologies Conference, München, November 30 to December 3, 1993
  Hirschel, Ernst Heinrich 1993 Dt. Aerospace
• Limiting climate change verification of compliance with treaty commitments to limit greenhouse gas emissions from forests and land use by remote sensing – Studie im Rahmen des Projekts IKARUS, Teilprojekt 9
  Lanchbery, John ; Salt, Julian 1993 Forschungszentrum Jülich, Zentralbibliothek
• A dual boundary robust verification method for neural networks
  Yang, Yueyue ; Fang, Qun ; Tang, Yajing ; Feng, Yuchen ; Yan, Yihui ; Xu, Yong
• A regime to control greenhouse gases – issues of verification, monitoring, institutions ; proceedings of a workshop, Bad Neuenahr, June 12 - 14, 1991
  Primio, Juan C. ˜diœ 1992 Forschungszentrum, Zentralbibliothek
• Learning Temporal Properties for Explainability and Verification
  Roy, Rajarshi ; Neider, Daniel ; Majumdar, Rupak 2024 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs
  D'Osualdo, Emanuele ; Sutherland, Julian ; Farzan, Azadeh ; Gardner, Philippa 2021 KOPS Universität Konstanz
• Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system
  Méré, Maxime ; Jouault, Frédéric ; Pallardy, Loïc ; Perdriau, Richard
• Abstract state machines – verification problems and computational power
  Nowack, Antje
• Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system
  Yin, Jiaqi ; Chen, Sini ; Lv, Yixiao ; Zhu, Huibiao
• Software verification for programmable logic controllers
  Huuck, Ralf
• FVF-BIoT: a formal verification framework for blockchain-based IoT authentication
  Yin, Jiaqi ; Fei, Yuan
• Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
  Prensa Nieto, Leonor
• Using model checking for system verification
  Maidl, Monika
• Verification of gamma spectroscopy programs: Multiplet area problems and solutions
  Koskelo, M. J. ; Mercier, M. T.
• Verification testing of commercially available computer programs for photopeak area evaluation – The influence of peak width
  Heydorn, K. ; Christensen, L. H.
• Mechanized verification of imperative and functional programs
  Giesl, Jürgen
• Verification of gamma-spectroscopy programs: Accuracy and detectability
  Mercier, M. T. ; Koskelo, M. J.
• Specification and compositional verification of real time systems
  Hooman, Jozef J. M. 1991 Springer
• Verification of sequential and concurrent programs
  Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1991 Springer
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin 2011 KIT Scientific Publ.