This volume contains the proceedings of Formal Methods 2006, the 14th International Symposium on Formal Methods, held at McMaster University, Hamilton, Canada, during August 21-27, 2006. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. The ?rst s- posium in this serieswasVDM Europein 1987.The scopeof the symposiumhas grown since then, encompassing all aspects of software and hardware which are amenable to formal analysis. As in the previous years, this symposium brings together researchers, tool developers, vendors and users. We received 145 submissions from 31 countries, making it a truly inter- tional event. Each submission was carefully refereed by at least three reviewers. The Program Committee selected 36 papers for presentation at the symposium, after an intensive, in-depth discussion. We would like to thank all the Program Committee members and the referees for their excellent and e?cient work. Apart from the regular contributions, there were ?ve invited talks for the generalsymposium (Ernie Cohen, Nicholas Gri?n, Thomas A. Henzinger, Peter Lindsay and George Necula); the contribution of Henzinger (with Sifakis as a co-author) and an abstract from Cohen are included in this volume. NicholasGri?ngaveageneralandinformaltalkaboutRussell sworkinlogic and the foundations of mathematics in the early years of the twentieth century. It focussed on the philosophical views that underlay Russell s attempts to solve theRussellparadox(andseveralothers)whichculminatedintherami?edtheory of types.qThe contrast with classical engineeringdisciplines, inparticular electrical engineering, issignificant. ... education provides sufficient mathematics forstartingto use toolsforclassical mathematics like Mathematica, Maple, Matlab, Mathcad with ease, andagoodcalculus oranalysiscourse at the freshman ... Mathematiciansand engineers 150 years agowouldhave no difficultyinusingtoday a#39;stools without a atutoriala.
|Title||:||FM 2006: Formal Methods|
|Author||:||Jayadev Misra, Tobias Nipkow, Emil Sekerinski|
|Publisher||:||Springer Science & Business Media - 2006-08-10|