Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Portugal, March 18-20, 2002, Revised Papers

This collection of revised papers commemorates the 10th anniversary of the UNU/IIST colloquium, delving into the evolution of formal methods in computing. Reflecting on a decade's worth of research and advancements, the work highlights the ongoing dialogue surrounding the role of formal methods as foundational support, rather than a one-size-fits-all solution.

The text serves as a tribute to the contributions of Armando Martín Haeberer, offering insights into his impact on the field. It encapsulates the experiences and aspirations of various experts who gathered to exchange ideas, discuss challenges, and propose innovative approaches related to formal methods.

Overall, this compilation offers a rich tapestry of intellectual thought, showcasing the diverse perspectives within the community while marking a significant milestone for UNU/IIST. Readers will find valuable reflections, rigorous analyses, and prospects for future developments in this important area of study.