Electronic Journal Article
@Article
Zeitschriftenartikel in einem e-Journal



Show entries of:

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

Action:

login to update

Options:








Author, Editor

Author(s):

Jacobs, Swen
Sofronie-Stokkermans, Viorica

dblp
dblp



BibTeX cite key*:

jacobs-sofronie-pdpar-entcs

Title

Title*:

Applications of hierarchical reasoning in the verification of complex systems

Journal

Journal Title*:

Electronic Notes in Theoretical Computer Science

Journal's URL:

http://www.elsevier.com/wps/find/journaldescription.cws_home/681021/description#description

Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Elsevier

Publisher's URL:

http://www.elsevier.com/

Publisher's
Address:


ISSN:

1571-0661

Vol, No, Year, pp.

Volume:

??

Number:

??

Month:


Year*:

2007

Pages:


Number of VG Pages:


Sequence Number:


DOI:


Abstract, Links, (C)

Note:


(LaTeX) Abstract:

In this paper we show how hierarchical reasoning can be
used to verify properties of complex systems.
Chains of local theory extensions are used to model a case
study taken from the European Train Control System (ETCS)
standard, but considerably simplified. We show how testing invariants and bounded model checking (for safety properties
expressed by universally quantified formulae,
depending on certain parameters of the systems)
can automatically be reduced to checking
satisfiability of ground formulae over a base theory.

URL for the Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

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



BibTeX Entry:

@MISC{jacobs-sofronie-pdpar-entcs,
AUTHOR = {Jacobs, Swen and Sofronie-Stokkermans, Viorica},
TITLE = {Applications of hierarchical reasoning in the verification of complex systems},
JOURNAL = {Electronic Notes in Theoretical Computer Science},
PUBLISHER = {Elsevier},
YEAR = {2007},
NUMBER = {??},
VOLUME = {??},
ISBN = {1571-0661},
}


Entry last modified by Viorica Sofronie-Stokkermans, 01/12/2007
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
11/21/2006 11:46:26 AM
Revisions
2.
1.
0.

Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans

Edit Dates
01/12/2007 03:35:07 PM
11/22/2006 03:58:59 PM
11/21/2006 11:46:26 AM