02966nam 22007215 450 991057405880332120251225212334.03-031-07727-X10.1007/978-3-031-07727-2(MiAaPQ)EBC7007366(Au-PeEL)EBL7007366(CKB)23114192800041EBL7007366(AU-PeEL)EBL7007366(PPN)268784744(BIP)84392594(BIP)84058065(DE-He213)978-3-031-07727-2(EXLCZ)992311419280004120220530d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings /edited by Maurice H. ter Beek, Rosemary Monahan1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (372 pages)Lecture Notes in Computer Science,1611-3349 ;13274Includes index.Print version: ter Beek, Maurice H. Integrated Formal Methods Cham : Springer International Publishing AG,c2022 9783031077265 This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.Lecture Notes in Computer Science,1611-3349 ;13274Software engineeringComputer engineeringComputer networksComputer scienceArtificial intelligenceSoftware EngineeringComputer Engineering and NetworksComputer Science Logic and Foundations of ProgrammingArtificial IntelligenceSoftware engineering.Computer engineering.Computer networks.Computer science.Artificial intelligence.Software Engineering.Computer Engineering and Networks.Computer Science Logic and Foundations of Programming.Artificial Intelligence.004.0151004.0151Beek Maurice H. terMonahan RosemaryMiAaPQMiAaPQMiAaPQBOOK9910574058803321Integrated Formal Methods2860239UNINA