ENGLISH

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

By He Jifeng (auth.) , Shengchao Qin , Yongxin Zhao , Zongyan Qiu (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2011
ISBN
3642245587, 9783642245589
DOI
10.1007/978-3-642-24559-6
ISSN
0302-9743
Google Books ID
q8jpY6sgU_0C
Language
english
Format
PDF
Filesize
12 MB (12165204 bytes)
Series
Lecture Notes in Computer Science 6991
Edition
1
Pages
670\685
Orientation
yes
Scanned
no
Time added
2012-02-14 18:00:00
CompilersInterpreters; Algorithm Analysis and Problem ComplSoftware Engineering; Programming Techniques; Prog

Description

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

Similar books