Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Applications of hierarchical reasoning in the verification of complex systems

Jacobs, S., & Sofronie-Stokkermans, V. (2006). Applications of hierarchical reasoning in the verification of complex systems. In B. Cook, & R. Sebastiani (Eds.), PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning (pp. 15-26).

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-24B8-E Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-7B3D-8
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
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: 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2007-03-302006
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 521695
URI: http://www.mpi-inf.mpg.de/~sofronie/papers/pdf/jacobs-sofronie-pdpar-06.pdf
Anderer: Local-ID: C125716C0050FB51-8C4E4D1063A33239C125725A00464291-jacobs-sofronie-pdpar-06
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Seattle, USA
Start-/Enddatum: 2006-08-21 - 2006-08-21

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning
Genre der Quelle: Konferenzband
 Urheber:
Cook, Byron, Herausgeber
Sebastiani, Roberto, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 15 - 26 Identifikator: -