ENGLISH

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

By Michael Butler , Janos Sztipanovits (auth.) , Wolfram Schulte (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2011
ISBN
3642214363, 9783642214363
DOI
10.1007/978-3-642-21437-0
ISSN
0302-9743
Google Books ID
a2wEMqE9nk8C
Language
english
Format
PDF
Filesize
5 MB (5189475 bytes)
Series
Lecture Notes in Computer Science 6664
Edition
1
Pages
450\465
Orientation
yes
Scanned
no
Time added
2012-02-14 18:00:00
CompilersInterpreters; Programming Techniques; MathematicalSoftware Engineering; Logics and Meanings of Progr

Description

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

Similar books