Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
99 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

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

99 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
    FV Time: a formally verified Coq library
    Borges, Ana de Almeida ; Bedmar, Mireia González ; et al.
    2022
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant
    Magaud, Nicolas ; Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube) ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
    Palmskog, Karl ; Gligoric, Milos ; et al.
    In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021-05-01
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 ö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?
  18. Detailansicht für Treffer 18 öffnen
    VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
    Brandfonbrener, David ; Henniger, Simon ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Automated verification of termination certificates
    Blanqui, Frédéric ; Ly, Kim Quyen ; et al.
    2012
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    First steps towards the certification of an ARM simulator using Compcert
    Tuong, Frederic ; Shi, Xiaomu ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -