03656nam 22008055 450 991048307410332120200706002049.03-319-19249-310.1007/978-3-319-19249-9(CKB)3710000000416867(SSID)ssj0001501474(PQKBManifestationID)11771923(PQKBTitleCode)TC0001501474(PQKBWorkID)11524827(PQKB)10673175(DE-He213)978-3-319-19249-9(MiAaPQ)EBC6283082(MiAaPQ)EBC5586913(Au-PeEL)EBL5586913(OCoLC)1066186886(PPN)186029772(EXLCZ)99371000000041686720150523d2015 u| 0engurnn#008mamaatxtccrFM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /edited by Nikolaj Bjørner, Frank de Boer1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XVI, 610 p. 156 illus.)Programming and Software Engineering ;9109Bibliographic Level Mode of Issuance: Monograph3-319-19248-5 Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.Programming and Software Engineering ;9109Software engineeringMathematical logicComputer logicManagement information systemsComputer scienceComputersSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XManagement of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Software engineering.Mathematical logic.Computer logic.Management information systems.Computer science.Computers.Software Engineering.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Management of Computing and Information Systems.Computation by Abstract Devices.004.0151Bjørner Nikolajedthttp://id.loc.gov/vocabulary/relators/edtde Boer Frankedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483074103321FM 2015: Formal Methods2831632UNINA