Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
35 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

35 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Towards Automatic Transformations of Coq Proof Scripts
    Magaud, Nicolas
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
    Gross, Jason ; Zimmermann, Théo ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant
    Magaud, Nicolas
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
    Nie, Pengyu ; Palmskog, Karl ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Learning to Format Coq Code Using Language Models
    Nie, Pengyu ; Palmskog, Karl ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    PubSub implementation in Haskell with formal verification in Coq
    Sitnikovski, Boro ; Stojcevska, Biljana ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Deep Generation of Coq Lemma Names Using Elaborated Terms
    Nie, Pengyu ; Palmskog, Karl ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
    Carvalho, Gustavo ; Meira, Igor
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Vector Clocks in Coq: An Experience Report
    Meiklejohn, Christopher
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Measuring Cost of Quality (CoQ) on SDLC Projects is Indispensible for Effective Software Quality Assurance
    Khan, Parvez Mahmood ; Beg, M. M. Sufyan
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    On Formal Reasoning on the Semantics of PLC using Coq
    Blech, Jan Olaf ; Biha, Sidi Ould
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
    Blech, Jan Olaf
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant
    Delahaye, David ; Mayero, Micaela
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    CoqPyt: Proof Navigation in Python in the Era of LLMs
    Carrott, Pedro ; Saavedra, Nuno ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    UTC Time, Formally Verified
    Borges, Ana de Almeida ; Bedmar, Mireia González ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    An Automatically Verified Prototype of the Android Permissions System
    Cristiá, Maximiliano ; De Luca, Guido ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search
    Brandfonbrener, David ; Raja, Sibi ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
    Beckert, Bernhard ; Bingmann, Timo ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Baldur: Whole-Proof Generation and Repair with Large Language Models
    First, Emily ; Rabe, Markus N. ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Correct-by-construction model composition: Application to the Invasive Software Composition method
    Hamiaz, Mounira Kezadri ; Pantel, Marc ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -