b'@inproceedings{jacobs-sofronie-pdpar-06,'b"\nTITLE = {Applications of hierarchical reasoning in the verification of complex systems},\nAUTHOR = {Jacobs, Swen and Sofronie-Stokkermans, Viorica},\nLANGUAGE = {eng},\nURL = {http://www.mpi-inf.mpg.de/~sofronie/papers/pdf/jacobs-sofronie-pdpar-06.pdf},\nLOCALID = {Local-ID: C125716C0050FB51-8C4E4D1063A33239C125725A00464291-jacobs-sofronie-pdpar-06},\nYEAR = {2006},\nDATE = {2006},\nABSTRACT = {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.},\nBOOKTITLE = {PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning},\nEDITOR = {Cook, Byron and Sebastiani, Roberto},\nPAGES = {15--26},\n}\n"