Abstract State Machines, Alloy, B and Z

Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

ISBN: 978-3-642-11810-4 (Print) 978-3-642-11811-1 (Online)

Table of contents (46 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-1

      A Structure for Dependability Arguments

    2. No Access

      Book Chapter

      Pages 2-19

      Formal Probabilistic Analysis: A Higher-Order Logic Based Approach

  3. ASM Papers

    1. No Access

      Book Chapter

      Pages 20-33

      Synchronous Message Passing and Semaphores: An Equivalence Proof

    2. No Access

      Book Chapter

      Pages 34-46

      AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps

    3. No Access

      Book Chapter

      Pages 47-60

      Bârun: A Scripting Language for CoreASM

    4. No Access

      Book Chapter

      Pages 61-74

      AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications

    5. No Access

      Book Chapter

      Pages 75-90

      An Executable Semantics of the SystemC UML Profile

  4. Alloy Papers

    1. No Access

      Book Chapter

      Pages 91-104

      Specifying Self-configurable Component-Based Systems with FracToy

    2. No Access

      Book Chapter

      Pages 105-117

      Trace Specifications in Alloy

    3. No Access

      Book Chapter

      Pages 118-131

      An Imperative Extension to Alloy

    4. No Access

      Book Chapter

      Pages 132-145

      Towards Formalizing Network Architectural Descriptions

    5. No Access

      Book Chapter

      Pages 146-159

      Lightweight Modeling of Java Virtual Machine Security Constraints

    6. No Access

      Book Chapter

      Pages 160-173

      Alloy+HotCore: A Fast Approximation to Unsat Core

  5. B Papers

    1. No Access

      Book Chapter

      Pages 174-188

      Supporting Reuse in Event B Development: Modularisation Approach

    2. No Access

      Book Chapter

      Pages 189-202

      Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance

    3. No Access

      Book Chapter

      Pages 203-216

      Applying the B Method for the Rigorous Development of Smart Card Applications

    4. No Access

      Book Chapter

      Pages 217-230

      Automatic Verification for a Class of Proof Obligations with SMT-Solvers

    5. No Access

      Book Chapter

      Pages 231-244

      A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

    6. No Access

      Book Chapter

      Pages 245-258

      Development of a Synchronous Subset of AADL

    7. No Access

      Book Chapter

      Pages 259-272

      Matelas: A Predicate Calculus Common Formal Definition for Social Networking

previous Page of 3