Integrated Formal Methods  8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /  [electronic resource] : 
edited by Dominique Méry, Stephan Merz. 
 - 1st ed. 2010. 
 - X, 337 p. 110 illus.  online resource. 
 - Programming and Software Engineering,  6396  2945-9168 ; .
 - Programming and Software Engineering,  6396 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642162657 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-16265-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Compilers (Computer programs).<br/>Machine theory.<br/>Computer programming.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Compilers and Interpreters.<br/>Formal Languages and Automata Theory.<br/>Programming Techniques.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1