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:

http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1-4NX9C9N-5-1&_cdi=13109&_user=43521&_orig=search&_coverDate=06%2F20%2F2007&_sk=998259991&view=c&wchp=dGLzVzz-zSkWW&md5=4ebda12e9b5f94e333eeb65f740c51c0&ie=/sdarticle.pdf

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:

174

Number:

8

Month:


Year*:

2007

Pages:

39-54

Number of VG Pages:

24

Sequence Number:


DOI:

10.1016/j.entcs.2006.11.038

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:

http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4NX9C9N-5&_user=43521&_coverDate=06%2F20%2F2007&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000004638&_version=1&_urlVersion=0&_userid=43521&md5=c559a94e90fbd128aca80b97cd0da874

Categories / Keywords:

Combinations of decision procedures, Hierarchical reasoning, Verification

HyperLinks / References / URLs:

http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4NX9C9N-5&_user=43521&_coverDate=06%2F20%2F2007&_alid=586616182&_rdoc=1&_fmt=summary&_orig=search&_cdi=13109&_sort=d&_docanchor=&view=c&_ct=1&_acct=C000004638&_version=1&_urlVersion=0&_userid=43521&md5=89fd82306570e71ea416d2a2ba4f7cdf

Copyright Message:


Personal Comments:


Download
Access Level:

Internal

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

popular

Appearance:

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



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 = {8},
VOLUME = {174},
PAGES = {39--54},
ISBN = {1571-0661},
DOI = {10.1016/j.entcs.2006.11.038},
}


Entry last modified by Viorica Sofronie-Stokkermans, 02/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)
Viorica Sofronie-Stokkermans
Created
03/12/2007 10:44:25 AM
Revisions
11.
10.
9.
8.
7.
Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
01/09/2008 11:46:17 AM
01/07/2008 02:18:00 PM
01/07/2008 02:09:14 PM
01/07/2008 02:08:39 PM
12.07.2007 10:06:26