FM 2014: Formal Methods
Author | : Cliff Jones |
Publisher | : Springer |
Total Pages | : 766 |
Release | : 2014-04-18 |
ISBN-10 | : 9783319064109 |
ISBN-13 | : 331906410X |
Rating | : 4/5 (09 Downloads) |
Download or read book FM 2014: Formal Methods written by Cliff Jones and published by Springer. This book was released on 2014-04-18 with total page 766 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.