Electronic Journal Article
@Article
Zeitschriftenartikel in einem e-Journal


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | 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