Zum Hauptinhalt springen
Stadt- und Landesbibliothek Dortmund

Suchergebnisse

Unser Katalog

Artikel & mehr
42 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"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Sprache

Inhaltsanbieter

42 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Ultimate Automizer and the CommuHash Normal Form : (Competition Contribution)
    Heizmann, Matthias ; Barth, Max ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)
    Darke, Priyanka ; Chimdyalwar, Bharti ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Competition on Software Verification and Witness Validation: SV-COMP 2023
    Beyer, Dirk ; Goos, Gerhard, Founding Editor ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Korn—Software Verification with Horn Clauses (Competition Contribution)
    Ernst, Gidon ; Goos, Gerhard, Founding Editor ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution)
    Metta, Ravindra ; Yeduru, Prasanth ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    2LS: Arrays and Loop Unwinding : (Competition Contribution)
    Malík, Viktor ; Nečas, František ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis
    Apinis, Kalmer ; Vojdani, Vesal ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution)
    Su, Jie ; Yang, Zuchao ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Ultimate Taipan and Race Detection in Ultimate : (Competition Contribution)
    Dietsch, Daniel ; Heizmann, Matthias ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)
    Monat, Raphaël ; Ouadjaout, Abdelraouf ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)
    Hussein, Soha ; Yan, Qiuchen ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Goblint: Autotuning Thread-Modular Abstract Interpretation : (Competition Contribution)
    Saan, Simmo ; Schwarz, Michael ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs : (Competition Contribution)
    Aljaafari, Fatimah ; Shmarov, Fedor ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Explainable Online Monitoring of Metric Temporal Logic
    Lima, Leonardo ; Herasimau, Andrei ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Bubaak: Runtime Monitoring of Program Verifiers : (Competition Contribution)
    Chalupa, Marek ; Henzinger, Thomas A. ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
    Winkler, Tobias ; Katoen, Joost-Pieter ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation : (Competition Contribution)
    Ayaziová, Paulína ; Strejček, Jan ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
    Batz, Kevin ; Chen, Mingshuai ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    A Truly Symbolic Linear-Time Algorithm for SCC Decomposition
    Larsen, Casper Abild ; Schmidt, Simon Meldahl ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Industrial-Strength Controlled Concurrency Testing for
    Deligiannis, Pantazis ; Senthilnathan, Aditya ; et al.
    2023
    Online E-Book
    Wie komme ich dran?

Weitere Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -