Presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. This book
Includes:: sections on programming language analysis, verification, real-time & concurrency, grand challenge problems, fm practice, runtime monitoring & analysis, & constraint analysis, & design.