Integrated Formal Methods

Inhaltsverzeichnis

• Invited Papers.
• A Family of Mathematical Methods for Professional Software Documentation.
• Generating Path Conditions for Timed Systems.
• Software Model Checking: Searching for Computations in the Abstract or the Concrete.
• Session: Components.
• Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.
• Session: State/Event-Based Verification.
• State/Event Software Verification for Branching-Time Specifications.
• Exp. Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.
• Chunks: Component Verification in CSP ? B.
• Session: System Development.
• Agile Formal Method Engineering.
• An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.
• Enabling Security Testing from Specification to Code.
• Session: Applications of B.
• Development of Fault Tolerant Grid Applications Using Distributed B.
• Formal Methods Meet Domain Specific Languages.
• Synthesizing B Specifications from eb 3 Attribute Definitions.
• Session: Tool Support.
• CZT Support for Z Extensions.
• Embedding the Stable Failures Model of CSP in PVS.
• Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.
• Session: Non-software Domains.
• Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.
• Formalising Interactive Voice Services with SDL.
• Session: Semantics.
• A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.
• Session: UML and Statecharts.
• Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the ?-Calculus.
• An Integrated Framework for Scenarios and State Machines.
• Consistency in UML and B Multi-view Specifications.