English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Automatic Verification of Parametric Specifications with Complex Topologies

Faber, J., Ihlemann, C., Jacobs, S., & Sofronie-Stokkermans, V. (2010). Automatic Verification of Parametric Specifications with Complex Topologies. In D. Mery, & S. Merz (Eds.), Integrated Formal Methods (pp. 152-167). Berlin: Springer. doi:10.1007/978-3-642-16265-7_12.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-14A8-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B483-4
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Faber, Johannes1, Author           
Ihlemann, Carsten1, Author           
Jacobs, Swen1, Author           
Sofronie-Stokkermans, Viorica1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: -
 Abstract: The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. \begin{itemize} \item For specifications, we use the modular language CSP-OZ-DC, which allows us to decouple verification tasks concerning data from those concerning durations. \item At the verification level, we exploit modularity in theorem proving for rich data structures and use this for invariant checking. \item At the structural level, we analyze possibilities for modular verification of systems consisting of various components which interact. \end{itemize} We illustrate these ideas by automatically verifying safety properties of a case study from the European Train Control System standard, which extends previous examples by comprising a complex track topology with lists of track segments and trains with different routes.

Details

show
hide
Language(s): eng - English
 Dates: 2011-01-1920102010
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 536349
DOI: 10.1007/978-3-642-16265-7_12
URI: http://dx.doi.org/10.1007/978-3-642-16265-7_12
Other: Local-ID: C125716C0050FB51-80C9C07C12B21C86C1257782003F6A72-faber-ihlemann-jacobs-sofronieStokkermans-ifm-2010
 Degree: -

Event

show
hide
Title: 8th International Conference on Integrated Formal Methods
Place of Event: Nancy, France
Start-/End Date: 2010-10-11 - 2010-10-14

Legal Case

show

Project information

show

Source 1

show
hide
Title: Integrated Formal Methods
  Abbreviation : IFM 2010
  Subtitle : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Source Genre: Proceedings
 Creator(s):
Mery, Dominique1, Editor
Merz, Stephan1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 152 - 167 Identifier: ISBN: 978-3-642-16264-0

Source 2

show
hide
Title: Lecture Notes in Computer Science
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 6396 Sequence Number: - Start / End Page: - Identifier: -