Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Polikarpova, Nadia (Editor), Schneider, Steve (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10510
• Subjects: Computer science.; Computer organization.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Theory of Computation.; Computer Systems Organization and Communication Networks.; Computing Methodologies.; The Computing Profession.
• Physical Description: XXI, 438 p. 109 illus. online resource.
• ISBN: 9783319668451
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.