Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
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...
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
Springer International Publishing : Imprint: Springer,
|
Publisher Address: | Cham : |
Publication Dates: | 2017. |
Literature type: | eBook |
Language: | English |
Series: |
Lecture Notes in Computer Science,
10510 |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-3-319-66845-1 |
Summary: |
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. |
Carrier Form: | 1 online resource (XXI, 438 pages): illustrations. |
ISBN: | 9783319668451 |
Index Number: | QA76 |
CLC: | TP311.5 |