04800nam 22007695 450 99646567080331620200704173901.01-280-38968-097866135676043-642-16265-710.1007/978-3-642-16265-7(CKB)2650000000000172(SSID)ssj0000446556(PQKBManifestationID)11291906(PQKBTitleCode)TC0000446556(PQKBWorkID)10496172(PQKB)10368649(DE-He213)978-3-642-16265-7(MiAaPQ)EBC3065920(PPN)149029845(EXLCZ)99265000000000017220101001d2010 u| 0engurnn|008mamaatxtccrIntegrated Formal Methods[electronic resource] 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /edited by Dominique Méry, Stephan Merz1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 337 p. 110 illus.) Programming and Software Engineering ;6396Bibliographic Level Mode of Issuance: Monograph3-642-16264-9 Includes bibliographical references and index.On Model Checking Techniques for Randomized Distributed Systems -- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B Approach to Data Sharing Agreements -- A Logical Framework to Deal with Variability -- Adding Change Impact Analysis to the Formal Verification of C Programs -- Creating Sequential Programs from Event-B Models -- Symbolic Model-Checking of Optimistic Replication Algorithms -- From Operating-System Correctness to Pervasively Verified Applications -- A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs -- Verification Architectures: Compositional Reasoning for Real-Time Systems -- Automatic Verification of Parametric Specifications with Complex Topologies -- Satisfaction Meets Expectations -- Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques -- Specification and Verification of Model Transformations Using UML-RSDS -- Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems -- Translating Pi-Calculus into LOTOS NT -- Systematic Translation Rules from astd to Event-B -- A CSP Approach to Control in Event-B -- Towards Probabilistic Modelling in Event-B -- Safe Commits for Transactional Featherweight Java -- Certified Absence of Dangling Pointers in a Language with Explicit Deallocation -- Integrating Implicit Induction Proofs into Certified Proof Environments.Programming and Software Engineering ;6396Software engineeringComputer logicProgramming languages (Electronic computers)Mathematical logicComputer programmingSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software engineering.Computer logic.Programming languages (Electronic computers).Mathematical logic.Computer programming.Software Engineering/Programming and Operating Systems.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Mathematical Logic and Formal Languages.Programming Techniques.005.1Méry Dominiqueedthttp://id.loc.gov/vocabulary/relators/edtMerz Stephanedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Integrated Formal MethodsBOOK996465670803316Integrated Formal Methods772444UNISA