Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


Show entries of:

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

Action:

login to update

Options:




Library Locked Library locked





Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



Editor(s):

Becker, Bernd
Damm, Werner Martin
Fränzle, Martin
Olderog, Ernst-Rüdiger
Podelski, Andreas
Wilhelm, Reinhard

dblp
dblp
dblp
dblp
dblp
dblp

Not MPII Editor(s):

Becker, Bernd
Damm, Werner Martin
Fränzle, Martin
Olderog, Ernst-Rüdiger
Podelski, Andreas
Wilhelm, Reinhard

BibTeX Citekey*:

Sofronie-Stokkermans-atr46-2008

Language:

English

Title, Institution

Title*:

Sheaves and geometric logic and applications to modular verification of complex systems

Institution*:

SFB/TR 14 AVACS

Publishers or Institutions Address*:

SFB/TR 14 AVACS

Type:

Reports of SFB/TR 14 AVACS

No, Year, pp.,

Number*:

ATR 46

Pages*:

43

Month:

December

VG Wort
Pages*:

43

Year*:

2008

ISBN/ISSN:

1860-9821





DOI:




Note, Abstract, ©

Note:


(LaTeX) Abstract:

In this paper we show that states, transitions and behavior of
concurrent systems can often be modeled as sheaves over a
suitable topological space (where the topology expresses how the
interacting systems share the information). This allows us to use
results from categorical logic (and in particular geometric
logic) to describe which type of properties are transferred, if
valid locally in all component systems, also at a global level,
to the system obtained by interconnecting the individual systems.
The main area of application is to modular verification of
complex systems.

We illustrate the ideas by means of an example involving
a family of interacting controllers for trains on a rail track.

Categories / Keywords:


Copyright Message:


HyperLinks / References / URLs:

http://www.avacs.org/Publikationen/Open/avacs_technical_report_046.pdf

Personal Comments:


File Upload:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Appearance:

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


BibTeX Entry:
@TECHREPORT{Sofronie-Stokkermans-atr46-2008,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Becker, Bernd and Damm, Werner Martin and Fr{\"a}nzle, Martin and Olderog, Ernst-R{\"u}diger and Podelski, Andreas and Wilhelm, Reinhard},
TITLE = {Sheaves and geometric logic and applications to modular verification of complex systems},
YEAR = {2008},
TYPE = {Reports of SFB/TR 14 AVACS},
INSTITUTION = {SFB/TR 14 AVACS},
NUMBER = {ATR 46},
PAGES = {43},
ADDRESS = {SFB/TR 14 AVACS},
MONTH = {December},
ISBN = {1860-9821},
}


Entry last modified by Uwe Brahm, 08/06/2014
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)
[Library]
Created
01/07/2009 10:42:10 AM
Revision
1.
0.


Editor
Uwe Brahm
Viorica Sofronie-Stokkermans


Edit Date
01/29/2009 04:34:21 PM
01/07/2009 10:42:10 AM


Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section