Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Parallel Processing and Applied Mathematics, PP

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive exampl