Ebook: Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author: Polikarpova Nadia, Schneider Steve A
- Tags: Formal methods (Computer science) -- Congresses, Software engineering -- Congresses, Formal methods (Computer science), Software engineering
- Series: Lecture notes in computer science 10510., Lecture notes in computer science. Formal methods., LNCS sublibrary. SL 2 Programming and software engineering
- Year: 2017
- Publisher: Springer
- City: Turin, Italy)
- Language: English
- pdf
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 Read more...
Abstract: 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