03158nam 22007935 450 991048355000332120251225212230.03-319-66845-510.1007/978-3-319-66845-1(CKB)4100000000393623(DE-He213)978-3-319-66845-1(MiAaPQ)EBC6283368(MiAaPQ)EBC5577601(Au-PeEL)EBL5577601(OCoLC)1003646067(PPN)204533546(EXLCZ)99410000000039362320170826d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /edited by Nadia Polikarpova, Steve Schneider1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XXI, 438 p. 109 illus.) Programming and Software Engineering,2945-9168 ;105103-319-66844-7 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.Programming and Software Engineering,2945-9168 ;10510Software engineeringCompilers (Computer programs)Computer scienceComputer engineeringComputer networksArtificial intelligenceComputersProfessionsSoftware EngineeringCompilers and InterpretersTheory of ComputationComputer Engineering and NetworksArtificial IntelligenceThe Computing ProfessionSoftware engineering.Compilers (Computer programs).Computer science.Computer engineering.Computer networks.Artificial intelligence.Computers.Professions.Software Engineering.Compilers and Interpreters.Theory of Computation.Computer Engineering and Networks.Artificial Intelligence.The Computing Profession.004.0151Polikarpova Nadiaedthttp://id.loc.gov/vocabulary/relators/edtSchneider Steveedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483550003321Integrated Formal Methods2860239UNINA