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

Ihlemann, Carsten
Jacobs, Swen
Sofronie-Stokkermans, Viorica

dblp
dblp
dblp



Editor(s):

Ramakrishnan, C. R.
Rehof, Jakob

dblp
dblp

Not MPII Editor(s):

Ramakrishnan, C. R.
Rehof, Jakob

BibTeX cite key*:

ihlemann-jacobs-sofronie-tacas2008

Title, Booktitle

Title*:

On local reasoning in verification

Booktitle*:

Proceedings of TACAS 2008

Event, URLs

URL of the conference:

http://www.cs.stonybrook.edu/~tacas2008/

URL for downloading the paper:


Event Address*:

Budapest, Hungary

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

29 March 2008

Event End Date:

6 April 2008

Publisher

Name*:

Springer

URL:

http://www.springer-ny.com/

Address*:

New York

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

4963

Number:


Month:


Pages:

265-281

Year*:

2008

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We present a general framework which allows to identify complex theories important in verification for which efficient reasoning methods exist. The framework we present is based on a general notion of locality. We show that locality considerations allow us to obtain parameterized decidability and complexity results for many (combinations of) theories important in verification in general and in the verification of parametric systems in particular. We give numerous examples; in particular we show that several theories of data structures studied in the verification literature are local extensions of a base theory. The general framework we use allows us to identify situations in which some of the syntactical restrictions imposed in previous papers can be relaxed.



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{ihlemann-jacobs-sofronie-tacas2008,
AUTHOR = {Ihlemann, Carsten and Jacobs, Swen and Sofronie-Stokkermans, Viorica},
EDITOR = {Ramakrishnan, C. R. and Rehof, Jakob},
TITLE = {On local reasoning in verification},
BOOKTITLE = {Proceedings of TACAS 2008},
PUBLISHER = {Springer},
YEAR = {2008},
VOLUME = {4963},
PAGES = {265--281},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Budapest, Hungary},
}


Entry last modified by Viorica Sofronie-Stokkermans, 03/03/2009
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)
Viorica Sofronie-Stokkermans
Created
12/10/2007 01:31:18 PM
Revisions
3.
2.
1.
0.
Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
01/23/2009 11:24:28 AM
01/23/2009 11:16:58 AM
02/08/2008 10:02:02 AM
12/10/2007 01:31:18 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section