„Program verification“

Suchergebnisse

1.065 Treffer

• Temporal Program Verification and Synthesis as Horn Constraints Solving
  Beyene, Tewodros Awgichew ; Rybalchenko, Andrey ; Rümmer, Philipp ; Seidl, Helmut 2015 Universitätsbibliothek der TU München
• Implementierung einer Kryptanalyse in digitaler Hardware zur quantitativen Verifikationdes Geschwindigkeitsvorteils gegenüber softwareseitigen Lösungen. – Implementation of a cryptanalysis in digital hardware for a quantitative verificationof the speed advantage compared with software solutions.
  Kapitza, Sven ; Fitz, Robert ; Lehmann, Thomas 2010 Hochschule für Angewandte Wissenschaften Hamburg
• Verification and Validation of Predictive Computer Programs Describing the Near and Far-Field Chemistry of Radioactive Waste Disposal Systems
  READ, D. ; BROYD, T. W.
• Correction: A framework for embedded software portability and verification: from formal models to low-level code
  Gomes, Renata Martins ; Aichernig, Bernhard ; Baunach, Marcel
• Fundamental Approaches to Software Engineering – 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  Huisman, Marieke ; Rubin, Julia 2005 Springer Berlin Heidelberg
• Correction: Parameterized verification of leader/follower systems via first-order temporal logic
  Kourtis, G. ; Dixon, Clare ; Fisher, Michael ; Lisitsa, A.
• Correction to: An integrated specification and verification technique for highly concurrent data structures
  Abdulla, Parosh Aziz ; Haziza, Frédéric ; Holík, Lukáš ; Jonsson, Bengt ; Rezine, Ahmed
• Correction to: Verification of randomized consensus algorithms under round-rigid adversaries
  Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef
• Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)
  Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliès ; Francalanza, Adrian ; Krstić, Srdan ; Lourenço, João M. ; Nickovic, Dejan ; Pace, Gordon J. ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, Alexander
• Formal Semantics and Verification of Procedural SQL Programs Implementing Materialized Data Integration
  Stupnikov, S. A.
• Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091)
  Castrillón-Mazo, Jerónimo ; Jerad, Chadlia ; Lee, Edward A. ; Pagetti, Claire ; Lin, Shaokai Jerry
• Hardware and Software: Verification and Testing – 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Verification of COBOL Programs
  Socher, Rolf 2023 Saarländische Universitäts- und Landesbibliothek
• Communications and Multimedia Security – 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings
  De Decker, Bart ; Zúquete, André 2010 Springer International Publishing
• Scaling up relaxed memory verification with separation logics
  Dang, Hoang Hai ; Dreyer, Derek 2024 Saarländische Universitäts- und Landesbibliothek
• Automated and foundational verification of low-level programs
  Sammler, Michael Joachim ; Garg, Deepak 2023 Saarländische Universitäts- und Landesbibliothek
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• Schematic Program Proofs with Abstract Execution: Theory and Applications
  Steinhöfel, Dominic ; Hähnle, Reiner 2025 Universitäts- und Landesbibliothek
• Straddling the border between tests and proofs
  Huang, Li ; Meyer, Bertrand ; Omelchenko, Alexander ; Ngan, Chin Wei ; Leavens, Gary T. ; Oriol, Manuel 2025 IRC-Library, Information Resource Center der Constructor University
• Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic
  Krebbers, Robbert ; van der Maas, Luko ; Tassi, Enrico 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik