Zur Zeit liegt uns keine Inhaltsangabe vor.
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.
