Marie-Constance loves reading and possesses a beautiful voice. So, one day she decides to put an ad in the local paper offering her services as a paid reader. Her first client, a paralysed teenager, is transformed by her reading of a Maupassant short story. Her fame spreads and soon the rich, the creative and the famous clamour for her services.
This practical introduction to a model-based formal method offers a comprehensive exploration through a variety of illustrative examples. It aims to equip readers with the necessary tools and understanding to effectively apply this method in real-world scenarios, making complex concepts accessible and applicable.
This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.