Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Series: | Lecture Notes in Computer Science,
6396 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- 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.
