Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Author(s):

Hoenicke, Jochen
Maier, Patrick

dblp
dblp

Not MPG Author(s):

Hoenicke, Jochen

Editor(s):

Fitzgerald, John
Hayes, Ian J.
Tarlecki, Andrzej

dblp
dblp
dblp

Not MPII Editor(s):

Fitzgerald, John
Hayes, Ian J.
Tarlecki, Andrzej

BibTeX cite key*:

HoenickeMaier2005

Title, Booktitle

Title*:

Model-Checking of Specifications Integrating Processes, Data and Time

Booktitle*:

FM 2005: Formal Methods; International Symposium of Formal Methods Europe

Event, URLs

URL of the conference:

http://www.csr.ncl.ac.uk/fm05/

URL for downloading the paper:


Event Address*:

Newcastle, UK

Language:

English

Event Date*
(no longer used):


Organization:

Formal Methods Europe (FME)

Event Start Date:

18 July 2005

Event End Date:

22 July 2005

Publisher

Name*:

Springer

URL:

http://www.springer.com

Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

3582

Number:


Month:

July

Pages:

465-480

Year*:

2005

VG Wort Pages:


ISBN/ISSN:

3-540-27882-6

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We present a new model-checking technique for CSP-OZ-DC, a
combination of CSP, Object-Z and Duration Calculus, that allows
reasoning about systems exhibiting communication, data and real-time
aspects. As intermediate layer we will use a new kind of timed
automata that preserve events and data variables of the
specification. These automata have a simple operational semantics
that is amenable to verification by a constraint-based
abstraction-refinement model checker. By means of a case study, a
simple elevator parameterised by the number of floors, we show that
this approach admits model-checking parameterised and infinite state
real-time systems.

Copyright Message:

Copyright Springer-Verlag Berlin Heidelberg 2005


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{HoenickeMaier2005,
AUTHOR = {Hoenicke, Jochen and Maier, Patrick},
EDITOR = {Fitzgerald, John and Hayes, Ian J. and Tarlecki, Andrzej},
TITLE = {Model-Checking of Specifications Integrating Processes, Data and Time},
BOOKTITLE = {FM 2005: Formal Methods; International Symposium of Formal Methods Europe},
PUBLISHER = {Springer},
YEAR = {2005},
ORGANIZATION = {Formal Methods Europe (FME)},
VOLUME = {3582},
PAGES = {465--480},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Newcastle, UK},
MONTH = {July},
ISBN = {3-540-27882-6},
}


Entry last modified by Christine Kiesel, 01/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)
Patrick Maier
Created
11/10/2005 07:21:16 PM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Patrick Maier
Patrick Maier
Patrick Maier
Edit Dates
21.12.2005 10:39:03
11/10/2005 07:33:44 PM
11/10/2005 07:22:34 PM
11/10/2005 07:21:16 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section