ENGLISH

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

By Jean-Raymond Abrial (auth.) , Einar Broch Johnsen , Luigia Petre (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2013
ISBN
978-3-642-38612-1, 978-3-642-38613-8
DOI
10.1007/978-3-642-38613-8
Language
english
Format
PDF
Filesize
8 MB (8324158 bytes)
Series
Lecture Notes in Computer Science 7940
Edition
1
Pages
443\455
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Mathematical Logic and Formal LanguaSoftware Engineering; Logics and Meanings of Progr

Description

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Similar books