FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Front Cover
Ana Cavalcanti, Dennis Dams
Springer Science & Business Media, Oct 26, 2009 - Computers - 820 pages
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial applications. Subm- sions of papers on these topics were especially encouraged, but not given any special treatment. (It was just as hard to get a special track paper accepted as any other paper.) What we did promote, however, was a discussion of how originality, contri- tion, and soundness should be judged for these papers. The following questions were used by our Programme Committee.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
16
III
23
IV
33
V
41
VI
72
VII
89
VIII
106
XXIX
451
XXX
467
XXXI
483
XXXII
499
XXXIII
516
XXXIV
532
XXXV
547
XXXVI
563

IX
123
X
140
XI
157
XII
173
XIII
190
XIV
207
XV
223
XVI
239
XVII
256
XVIII
273
XIX
289
XX
305
XXI
321
XXII
338
XXIII
354
XXIV
370
XXV
387
XXVI
403
XXVII
419
XXVIII
435
XXXVII
579
XXXVIII
596
XXXIX
612
XL
628
XLI
644
XLII
660
XLIII
676
XLIV
692
XLV
708
XLVI
724
XLVII
741
XLVIII
757
XLIX
773
L
790
LI
806
LII
810
LIII
814
LIV
819
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information