Ralf Buschermöhle

Learn More
This paper presents how a model-based development process can be enhanced by the combination of using Live Sequence Charts (LSC) as the formal language to describe interactions together with automatic formal verification techniques that decide whether communication sequences are exhibitable or adhered to by the system. We exemplify our approach on the(More)
Die Gewährleistung der korrekten Funktions-weise von Hard-und Software ist ein ent-scheidender Faktor bei der heutigen Systement-wicklung. Dies trifft ganz besonders auf das Gebiet der sog. " sicher-heitskritischen " Systeme zu, bei dem ein System-versagen Menschen-leben gefährden kann. Abstract The correct functioning of hard-and software components is(More)