Méry / Merz Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Erscheinungsjahr 2010
ISBN: 978-3-642-16265-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 337 Seiten, Web PDF

Reihe: Computer Science

Zielgruppe

Research

Autoren/Hrsg.

Méry, Dominique

Merz, Stephan

Inhaltsverzeichnis

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.