Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


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
Editor(s):
Cook, Byron
Sebastiani, Roberto		dblp
dblp
Not MPII Editor(s):
Cook, Byron
Sebastiani, Roberto

BibTeX cite key*:

jacobs-sofronie-pdpar-06

Title, Conference

Title*:

Applications of hierarchical reasoning in the verification of complex systems


13_jacobs_sofronie.pdf (172.91 KB)

Booktitle*:

PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning

Event Address*:

Seattle, USA
URL of the conference:

http://www.easychair.org/FLoC-06/PDPAR.html

Event Date*:
(no longer used):


URL for downloading the paper:

http://www.mpi-inf.mpg.de/~sofronie/papers/pdf/jacobs-sofronie-pdpar-06.pdf

Event Start Date:

21 August 2006
Event End Date:

21 August 2006

Language:

English
Organization:


Publisher

Publisher's Name:

-

Publisher's URL:


Address*:

-
Type:


Vol, No, pp., Year

Series:


Volume:


Number:


Month:

August
Pages:

15-26



Sequence Number:


Year*:

2006
ISBN/ISSN:






Abstract, Links, ©

URL for Reference:


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 can
automatically be reduced to checking satisfiability
of ground formulae over a base theory.

URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:

http://www.easychair.org/FLoC-06/PDPAR-preproceedings.pdf

Copyright Message:


Personal Comments:


Download
Access Level:

Public

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:
@INPROCEEDINGS{jacobs-sofronie-pdpar-06,
AUTHOR = {Jacobs, Swen and Sofronie-Stokkermans, Viorica},
 EDITOR = {Cook, Byron and Sebastiani, Roberto},
 TITLE = {Applications of hierarchical reasoning in the verification of complex systems},
 BOOKTITLE = {PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning},
 PUBLISHER = {-},
 YEAR = {2006},
 PAGES = {15--26},
 ADDRESS = {Seattle, USA},
 MONTH = {August},
}

Entry last modified by Viorica Sofronie-Stokkermans, 11/09/2006
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/09/2006 04:15:16 PM
Revision
1.
0.


Editor
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans


Edit Date
11/09/2006 04:16:45 PM
11/09/2006 04:15:16 PM


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

File Attachment Icon
13_jacobs_sofronie.pdf