„Correctness proofs“

Suchergebnisse

19 Treffer

• Guaranteeing Correctness through the Communication of Checkable Proofs – (or: Would You Really Trust an Automated Reasoning System?)
  Kerber, Manfred ; Huang, Xiaorong ; Kohlhase, Michael ; Nesmith, Dan ; Richts, Jörn 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Interactive correctness proofs for software modules using KIV
  Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt 1995 Universität Augsburg
• Beyond Testing: The Art and Science of Formal Verification
  Shalini 2024 tredition
• Proofs and mistakes: Their syntactics, semantics, and pragmatics
  Marcus,, Solomon
• Tests and Proofs – 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
  Gogolla, Martin ; Wolff, Burkhart 2011 Springer Berlin Heidelberg
• Encoding induction in correctness proofs of program transformations as a termination problem
  Rau, Conrad ; Sabel, David ; Schmidt-Schauß, Manfred 2012 Universitätsbibliothek Johann Christian Senckenberg
• Structuring Interactive Correctness Proofs by Formalizing Coding Idioms
  Gast, Holger 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Validation of Pattern Matching code
  Kirchner, Claude ; Moreau, Pierre-Etienne ; Reilles, Antoine 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Correctness proofs of distributed algorithms
  Reisig, Wolfgang 1994 Professoren des Inst. für Informatik
• Correctness proofs and probabilistic tests for constructive specifications and functional programs
  Huong, Dinh Thi Thanh
• Beyond Testing: The Art and Science of Formal Verification
  Shalini 2024 tredition
• Contributions to mechanical proofs of correctness for compiler front ends
  Weber-Wulff, Debora 1997 Inst. für Informatik und Praktische Mathematik
• A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance
  Bérard, Béatrice ; Fribourg, Laurent ; Klay, Francis ; Monin, Jean-François
• Implementierungen Abstrakter Datentypen in terminaler Algebrasemantik
  Rome, Erich 1981 Saarländische Universitäts- und Landesbibliothek
• TOrPEDO: witnessing model correctness with topological proofs
  Menghi, Claudio ; Rizzi, Alessandro Maria ; Bernasconi, Anna ; Spoletini, Paola
• Implementations of abstract data types and their correctness proofs
  Loeckx, Jacques 2011 Saarländische Universitäts- und Landesbibliothek
• Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
  Behrens, Diogo 2015 Technische Universität Dresden, Fakultät Informatik, Institut für Systemarchitektur
• Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
  Behrens, Diogo ; Serafini, Marco ; Arnautov, Sergei ; Junqueira, Flavio ; Fetzer, Christof 2016 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Tests and proofs – 5th international conference ; proceedings
  Gogolla, Martin ; Wolff, Burkhart 2011 Springer