AProVE: Non-Termination Witnesses for C Programs

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: 10.1007/978-3-030-99527-0_21

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2022
Urheber
Hensel, Jera
Mensendiek, Constantin
Giesl, Jürgen

DOI
10.18154/RWTH-2022-04684
URN
urn:nbn:de:101:1-2023011000325584455019
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:35 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Hensel, Jera
  • Mensendiek, Constantin
  • Giesl, Jürgen
  • Universitätsbibliothek der RWTH Aachen

Entstanden

  • 2022

Ähnliche Objekte (12)

Termination proofs for logic programs

Termination proofs for logic programs

Termination proofs for logic programs

Hochschulschrift

Termination proofs for logic programs

Automated termination analysis of C programs

Automated termination analysis of C programs

Extending non-termination proof techniques to asynchronously communicating concurrent programs

Extending non-termination proof techniques to asynchronously communicating concurrent programs

Automated Termination Analysis of Polynomial Probabilistic Programs

zweidimensionales bewegtes Bild

Automated Termination Analysis of Polynomial Probabilistic Programs

Proving Termination of C Programs with Lists

Proving Termination of C Programs with Lists

Automatic termination analysis for functional and imperative programs

Hochschulschrift

Automatic termination analysis for functional and imperative programs

Proving termination of probabilistic recursive programs via SMT-solving

Proving termination of probabilistic recursive programs via SMT-solving

Termination analysis for imperative programs operating on the heap

Hochschulschrift

Termination analysis for imperative programs operating on the heap

Verification witnesses

Verification witnesses

Table of Witnesses ("List of Witnesses") - endgültige Fassung

Akten

Table of Witnesses ("List of Witnesses") - endgültige Fassung

Prosecution Witnesses, Defense Witnesses. In chronologischer Reihenfolge (machinenschriftlich)

Akten

Prosecution Witnesses, Defense Witnesses. In chronologischer Reihenfolge (machinenschriftlich)

Verbundene Objekte