„Program verification“

Suchergebnisse

1.065 Treffer

• Towards efficient verification of population protocols
  Blondin, Michael ; Esparza, Javier ; Jaax, Stefan ; Meyer, Philipp J.
• Statistical verification of optimality conditions for stochastic programs with recourse
  Higle, Julia L. ; Sen, Suvrajeet
• The Foundations of Program Verification
  1987 Vieweg+Teubner Verlag
• Verification of the Futurebus+ cache coherence protocol
  Clarke, Edmund M. ; Grumberg, Orna ; Hiraishi, Hiromi ; Jha, Somesh ; Long, David E. ; McMillan, Kenneth L. ; Ness, Linda A.
• A study: selection of model metamodel and SPL tools for the verification of software product lines
  Khan, Fazal Qudus ; Musa, Shahrulniza ; Tsaramirsis, Georgios ; Bakhsh, Sheikh Tahir
• Reconstructing a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2010 Universitätsbibliothek Johann Christian Senckenberg
• Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
  Mann, Matthias ; Schmidt-Schauß, Manfred 1999 Univ.-Bibliothek Frankfurt am Main
• Reconstructing a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2011 Univ.-Bibliothek Frankfurt am Main
• Thread carefully: preventing starvation in the ROS 2 multithreaded executor
  Teper, Harun ; Kuhse, Daniel ; Günzel, Mario ; Brüggen, Georg ˜von derœ ; Howar, Falk ; Chen, Jian-Jia 2024 Universitätsbibliothek Dortmund
• Quantitative Verification with Neural Networks
  Abate, Alessandro ; Edwards, Alec ; Giacobbe, Mirco ; Punchihewa, Hashan ; Roy, Diptarko 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Link Between Anomaly Detection and Runtime Verification
  Heermann, Hagen ; Grimm, Christoph 2025 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Verification of Java programs with generics
  Stenzel, Kurt ; Grandy, Holger ; Reif, Wolfgang ; Meseguer, José ; Roşu, Grigore 2008 Universität Augsburg
• Runtime Verification – 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
  Könighofer, Bettina ; Torfah, Hazem 2026 Springer Nature Switzerland, Imprint: Springer
• Designing Compact ILPs via Fast Witness Verification
  Włodarczyk, Michał 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A generic specification for verifying peephole optimizations
  Dold, Axel 1995 Univ., Fak. für Informatik
• Agreements on climate protection - the verification problem – [IKARUS, instruments for greenhouse gas reduction strategies, final report subproject 9 "International greenhouse gas verification"]
  Fischer, Wolfgang 1995 Forschungszentrum, Zentralbibliothek
• Model-Driven Dependability Assessment of Software Systems
  Bernardi, Simona ; Merseguer, Jose ; Petriu, Dorina C. 2013 Springer Berlin Heidelberg
• Modelling, verification and test of high-level robotic plans – Modellierung, Verifikation und Test von abstrakten robotischen Plänen
  Meywerk, Tim ; Drechsler, Rolf ; Beetz, Michael 2023 Staats- und Universitätsbibliothek Bremen
• Evidence-Oriented Tracing and Verification, The Declaration of Timeprints
  Massoud, Rehab ; Drechsler, Rolf ; Bertacco, Valeria 2021 Staats- und Universitätsbibliothek Bremen
• Towards cooperative software verification with test generation and formal verification
  Lemberger, Thomas ; Beyer, Dirk 2022 Universitätsbibliothek der Ludwig-Maximilians-Universität