Cargando…
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Edición: | 1st ed. 2010. |
| Colección: | Programming and Software Engineering,
6396 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.