Integrated Formal Methods: 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings (Lecture Notes in Computer Science #16194)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2026
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783032107947
- Related ISBNs:
- 9783032107930
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 11/15/25
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Ferruccio Damiani
- Edited by:
- Marie Farrell