„Program Verification“

Suchergebnisse

1.065 Treffer

• Factors associated with overreporting based on community verification results in a performance-based financing program in Zimbabwe
  Gorman, Trina ; Arce, Pia ; O’Malley, Gabrielle ; Kambeu, Taurai ; Maponga, Brian ; Mavudze, Jabulani ; Xaba, Sinokuthemba ; Ncube, Getrude ; Hernandez, Bernardo
• Software Fault Prevention, Verification, and Validation – First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
  Liu, Shaoying 2025 Springer Nature Singapore, Imprint: Springer
• Verification, Model Checking, and Abstract Interpretation – 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
  Shankaranarayanan, Krishna ; Sankaranarayanan, Sriram ; Trivedi, Ashutosh 2025 Springer Nature Switzerland, Imprint: Springer
• Verification, Model Checking, and Abstract Interpretation – 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
  Shankaranarayanan, Krishna ; Sankaranarayanan, Sriram ; Trivedi, Ashutosh 2025 Springer Nature Switzerland, Imprint: Springer
• Modular specification and verification of object oriented programs
  Müller, Peter 2002 Springer
• Computer Aided Verification – 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
  2018 Springer International Publishing
• Computer Aided Verification – 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
  Chockler, Hana ; Weissenbacher, Georg 2018 Springer International Publishing
• Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems – Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
  2023 Springer International Publishing
• Runtime Verification – 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
  Ábrahám, Erika ; Abbas, Houssam 2025 Springer Nature Switzerland, Imprint: Springer
• Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
• An Expressive Trace Logic for Recursive Programs
  Gurov, Dilian ; Hähnle, Reiner 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk)
  Daggitt, Matthew L. ; Kokke, Wen ; Atkey, Robert ; Komendantskaya, Ekaterina ; Slusarz, Natalia ; Arnaboldi, Luca 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal analysis & verification of timed programs
  Liva, Giovanni
• IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)
  Lodaya, Kamal ; Mahajan, Meena 2010 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Improved verification limit for the convergence of the Collatz conjecture
  Barina, David
• Simula Research Laboratory – by Thinking Constantly about it
  Tveito, Aslak 2010 Springer Berlin
• Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
  Batz, Kevin ; Katoen, Joost-Pieter ; Randone, Francesca ; Winkler, Tobias 2025 Universitätsbibliothek der RWTH Aachen
• Incremental Computing by Differential Execution
  Kumar, Prashant ; Pacak, André ; Erdweg, Sebastian Thore 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Incremental Computing by Differential Execution (Artifact)
  Kumar, Prashant ; Pacak, André ; Erdweg, Sebastian Thore
• Building Bulletproof Software: The Power of Formal Verification
  Matt 2024 tredition