FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Publication year: 2008
: 978-3-540-68237-0
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
: Computer Science, Constraint, Programming language A, design, formal method, programming, programming language, real-time, verification, Software Engineering, Programming and Operating Systems, Computer Engineering, Programming Techniques, Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters
