Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  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

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-14A8-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B483-4
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Faber, Johannes1, Autor           
Ihlemann, Carsten1, Autor           
Jacobs, Swen1, Autor           
Sofronie-Stokkermans, Viorica1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2011-01-1920102010
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 536349
DOI: 10.1007/978-3-642-16265-7_12
URI: http://dx.doi.org/10.1007/978-3-642-16265-7_12
Anderer: Local-ID: C125716C0050FB51-80C9C07C12B21C86C1257782003F6A72-faber-ihlemann-jacobs-sofronieStokkermans-ifm-2010
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 8th International Conference on Integrated Formal Methods
Veranstaltungsort: Nancy, France
Start-/Enddatum: 2010-10-11 - 2010-10-14

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Integrated Formal Methods
  Kurztitel : IFM 2010
  Untertitel : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Mery, Dominique1, Herausgeber
Merz, Stephan1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 152 - 167 Identifikator: ISBN: 978-3-642-16264-0

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 6396 Artikelnummer: - Start- / Endseite: - Identifikator: -