Abstract: | Die Gewährleistung der korrektenFunktionsweise von Hard- und Software ist ein entscheidenderFaktor bei der heutigen Systementwicklung. Dies trifft ganzbesonders auf das Gebiet der sog. sicherheitskritischenSysteme zu, bei dem ein Systemversagen Menschenleben gefährdenkann. |