We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon Börger's 60th birthday, in May 2006 in Schloss Dagstuhl, Germany. Focusing on applied formal methods, the final seminar program covered a wide range of applied research spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of

more »

... their application orientation, are still committed to the ideal of mathematical rigor. Two overarching themes were the persistent demand to • foster further cross-fertilization between academic research and industrial development in the quest for innovative methods and tools to critically evaluate their potential in the light of new challenges as posed by new technological developments and paradigms in software engineering, and the ever-present question of • convergence of methods, clarifying their commonalities and differences to better understand how to combine related approaches for accomplishing the various tasks in modeling, simulation, and verification of complex hardware/software systems. In total, 54 participants from 14 different countries and four different continents attended the seminar. In 12 sessions, comprising a total of 35 presentations , 34 technical ones and one about fellowships and awards of the Alexander von Humboldt Foundation, the following central topics, among other topics, were addressed: • Methodological foundations of requirements specification and verification 1