Integrated Formal Methods
20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
Published on 16. November 2025
Book
Paperback/Softback
XXIII, 510 pages
978-3-032-10793-0 (ISBN)
Description
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19-21, 2025.
The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
115 s/w Abbildungen
XXIII, 510 p. 160 illus., 112 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 29 mm
Weight
803 gr
ISBN-13
978-3-032-10793-0 (9783032107930)
DOI
10.1007/978-3-032-10794-7
Schweitzer Classification
Other editions
Additional editions
Ferruccio Damiani | Marie Farrell
Integrated Formal Methods
20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
E-Book
11/2025
Springer
€69.54
Available for download