Live Sequence Charts (LSCs) are an established visual formalism for requirements in formal, model-based development, in particular aiming at formal verification of the model. The model-checking… (More)

This paper demonstrates the use of model-checking based veriication technology to establish safety critical properties for an industrial avionics application. The veriication technology is tightly… (More)

1 now at OSC – OFFIS Systems & Consulting, Oldenburg, Germany, bohn@o-s-c.de 2 This research was partially supported by the German Research Council (DFG) under grant number DA 206/7-2 within the… (More)