Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

11 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    JayHorn: A Java Model Checker : (Competition Contribution)
    Kahsai, Temesghen ; Rümmer, Philipp ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    PeSCo: Predicting Sequential Combinations of Verifiers : (Competition Contribution)
    Richter, Cedric ; Wehrheim, Heike ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Symbolic Pathfinder for SV-COMP : (Competition Contribution)
    Noller, Yannic ; Păsăreanu, Corina S. ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    VIAP 1.1 : (Competition Contribution)
    Rajkhowa, Pritom ; Lin, Fangzhen ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Pinaka: Symbolic Execution Meets Incremental Solving : (Competition Contribution)
    Chaudhary, Eti ; Joshi, Saurabh ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    VeriFuzz: Program Aware Fuzzing : (Competition Contribution)
    Basak Chowdhury, Animesh ; Medicherla, Raveendra Kumar ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    JBMC: Bounded Model Checking for Java Bytecode : (Competition Contribution)
    Cordeiro, Lucas ; Kroening, Daniel ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference : (Competition Contribution)
    Gadelha, Mikhail R. ; Monteiro, Felipe ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report)
    Hahn, Ernst Moritz ; Hartmanns, Arnd ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Extending DIVINE with Symbolic Verification Using SMT : (Competition Contribution)
    Lauko, Henrich ; Štill, Vladimír ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker : (Competition Contribution)
    Khazem, Kareem ; Tautschnig, Michael ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -