Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Editors: Polikarpova, Nadia, Schneider, Steve (Eds.)
Free PreviewBuy this book
- About this book
-
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..
- Table of contents (28 chapters)
-
-
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Pages 3-17
-
Modelling and Verification of Timed Robotic Controllers
Pages 18-33
-
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL
Pages 34-49
-
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL
Pages 50-66
-
Making Whiley Boogie!
Pages 69-84
-
Table of contents (28 chapters)
- Download Preface 1 PDF (62.8 KB)
- Download Sample pages 2 PDF (1.2 MB)
- Download Table of contents PDF (82.9 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Integrated Formal Methods
- Book Subtitle
- 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
- Editors
-
- Nadia Polikarpova
- Steve Schneider
- Series Title
- Programming and Software Engineering
- Series Volume
- 10510
- Copyright
- 2017
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-319-66845-1
- DOI
- 10.1007/978-3-319-66845-1
- Softcover ISBN
- 978-3-319-66844-4
- Edition Number
- 1
- Number of Pages
- XXI, 438
- Number of Illustrations
- 109 b/w illustrations
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.
