Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria, Bernhard Steffen "Leveraging Applications of Formal Methods, Verification, and Validation"
2010 | ISBN: 3642165575 | English | 728 pages | PDF | 12.9 MB
This volume contains the conference proceedings of the 4th International Simposium on Leveraging Applications of Formal Methods, Verification and Validization, ISoLA 2010, which was held in Greece (Heraklion, Crete) October 18 21, 2010, and sponsored by EASST. Following the tradition of its forerunners in 2004, 2006, and 2008 in Cyprus and Chalchidiki, and the ISoLA Workshops in Greenbelt (USA) in 2005, in Poitiers (France) in 2007, and in Potsdam (Germany) in 2009, ISoLA 2010 p- vided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analisis, verification, certification, construction, testing, and maintenance of systems from the point of view of their diferent application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations.