Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

348 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783642162640
• Sprache: Englisch
• Erscheinungsdatum: 06.10.2010
• Größe: 235 x 155 mm
• Verlag: Springer Spektrum
• Herausgegeben von: Stephan Merz, Dominique Méry