Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Terminator: Beyond Safety

Cook, B., Podelski, A., & Rybalchenko, A. (2006). Terminator: Beyond Safety. In Computer aided verification : 18th International Conference, CAV 2006 (pp. 415-418). Berlin, Germany: Springer.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Cook, Byron, Autor
Podelski, Andreas1, Autor           
Rybalchenko, Andrey1, Autor           
Ball, Thomas, Herausgeber
Jones, Robert B., Herausgeber
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checking and iterative counterexample-guided abstraction refinement, etc.) are restricted to safety properties. Terminator is the first software model checker for termination. It is now being used to prove that device driver dispatch routines always return to their caller (or return counterexamples if they if they fail to terminate).

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2007-04-112006
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 314635
Anderer: Local-ID: C1256104005ECAFC-3DF9C46347178EFEC125729E001C92E2-CookPodelskiRybal2006
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Seattle, WA, USA
Start-/Enddatum: 2006-08-17

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Computer aided verification : 18th International Conference, CAV 2006
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 415 - 418 Identifikator: ISBN: 978-3-540-37406-0

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 4144 Artikelnummer: - Start- / Endseite: - Identifikator: -