Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Σειρά: | Lecture Notes in Computer Science,
6396 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
