Formal Methods and Software Engineering

15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Editors:

ISBN: 978-3-642-41201-1 (Print) 978-3-642-41202-8 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Keynote

    1. No Access

      Book Chapter

      Pages 1-3

      Lattices of Information for Security: Deterministic, Demonic, Probabilistic

  3. Specification

    1. No Access

      Book Chapter

      Pages 4-19

      Algebraic Laws for Process Subtyping

    2. No Access

      Book Chapter

      Pages 20-35

      Boundness Issues in CCSL Specifications

    3. No Access

      Book Chapter

      Pages 36-52

      Mining Dataflow Sensitive Specifications

  4. Proof

    1. No Access

      Book Chapter

      Pages 53-69

      A Proof Slicing Framework for Program Verification

    2. No Access

      Book Chapter

      Pages 70-85

      Formally Verified System Initialisation

    3. No Access

      Book Chapter

      Pages 86-101

      Verifying an Aircraft Proximity Characterization Method in Coq

  5. Testing

    1. No Access

      Book Chapter

      Pages 102-114

      Assisting Specification Refinement by Random Testing

    2. No Access

      Book Chapter

      Pages 115-130

      Generation of Checking Sequences Using Identification Sets

    3. No Access

      Book Chapter

      Pages 131-147

      The Circus Testing Theory Revisited in Isabelle/HOL

  6. Timed Systems

    1. No Access

      Book Chapter

      Pages 148-164

      A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification

    2. No Access

      Book Chapter

      Pages 165-181

      Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

    3. No Access

      Book Chapter

      Pages 182-198

      Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction

  7. Concurrency

    1. No Access

      Book Chapter

      Pages 199-214

      A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

    2. No Access

      Book Chapter

      Pages 215-230

      A UTP Semantics for Communicating Processes with Shared Variables

    3. No Access

      Book Chapter

      Pages 231-248

      Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions

  8. SysML/MDD

    1. No Access

      Book Chapter

      Pages 249-264

      Formal Models of SysML Blocks

    2. No Access

      Book Chapter

      Pages 265-280

      Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML

    3. No Access

      Book Chapter

      Pages 281-296

      Translation from Workflow Nets to MSVL

  9. Verification

    1. No Access

      Book Chapter

      Pages 297-312

      Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems

previous Page of 2