English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Jacobs, Swen1, 2, Author           
Sofronie-Stokkermans, Viorica1, 2, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2007-03-302006
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 521695
URI: http://www.mpi-inf.mpg.de/~sofronie/papers/pdf/jacobs-sofronie-pdpar-06.pdf
Other: Local-ID: C125716C0050FB51-8C4E4D1063A33239C125725A00464291-jacobs-sofronie-pdpar-06
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Seattle, USA
Start-/End Date: 2006-08-21 - 2006-08-21

Legal Case

show

Project information

show

Source 1

show
hide
Title: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning
Source Genre: Proceedings
 Creator(s):
Cook, Byron, Editor
Sebastiani, Roberto, Editor
Affiliations:
-
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 15 - 26 Identifier: -