Daily life relies more and more on safety critical systems, e.g. in areas such as power plant con...

This book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...