Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey

dblp
dblp
dblp

Not MPG Author(s):

Coo , Byron

Editor(s):

Ball, Thomas
Jones, Robert B.

dblp
dblp

Not MPII Editor(s):

Ball, Thomas
Jones, Robert B.

BibTeX cite key*:

CookPodelskiRybal2006

Title, Booktitle

Title*:

Terminator: Beyond Safety

Booktitle*:

Computer aided verification : 18th International Conference, CAV 2006

Event, URLs

URL of the conference:


URL for downloading the paper:

http://www.springerlink.com/content/x34p0775v2310264/fulltext.pdf

Event Address*:

Seattle, WA, USA

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

17 August 2006

Event End Date:

20 August 2006

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

4144

Number:


Month:


Pages:

415-418

Year*:

2006

VG Wort Pages:


ISBN/ISSN:

978-3-540-37406-0; 3-540-37406-X

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

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).

URL for the Abstract:

http://dx.doi.org/10.1007/11817963_37



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{CookPodelskiRybal2006,
AUTHOR = {Cook, Byron and Podelski, Andreas and Rybalchenko, Andrey},
EDITOR = {Ball, Thomas and Jones, Robert B.},
TITLE = {Terminator: Beyond Safety},
BOOKTITLE = {Computer aided verification : 18th International Conference, CAV 2006},
PUBLISHER = {Springer},
YEAR = {2006},
VOLUME = {4144},
PAGES = {415--418},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Seattle, WA, USA},
ISBN = {978-3-540-37406-0},
; ISBN = {3-540-37406-X},
}


Entry last modified by Christine Kiesel, 01/28/2008
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Christine Kiesel
Created
03/14/2007 06:12:06 AM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Uwe Brahm
Christine Kiesel
Christine Kiesel
Edit Dates
02.08.2007 09:35:10
04/11/2007 08:26:06 AM
14.03.2007 06:22:53
14.03.2007 06:21:37
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section