Abstract State Machines, Alloy, B, VDM, and Z

Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

ISBN: 978-3-642-30884-0 (Print) 978-3-642-30885-7 (Online)

Table of contents (35 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-20

      Contribution to a Rigorous Analysis of Web Application Frameworks

    2. No Access

      Book Chapter

      Pages 21-35

      Integrated Operational Semantics: Small-Step, Big-Step and Multi-step

  3. ASM Papers

    1. No Access

      Book Chapter

      Pages 36-50

      Test Generation for Sequential Nets of Abstract State Machines

    2. No Access

      Book Chapter

      Pages 51-64

      ASM and Controller Synthesis

    3. No Access

      Book Chapter

      Pages 65-78

      Continuous ASM, and a Pacemaker Sensing Fragment

    4. No Access

      Book Chapter

      Pages 79-93

      An ASM Model of Concurrency in a Web Browser

  4. Alloy Papers

    1. No Access

      Book Chapter

      Pages 94-107

      Modeling the Supervisory Control Theory with Alloy

    2. No Access

      Book Chapter

      Pages 108-121

      Preventing Arithmetic Overflows in Alloy

    3. No Access

      Book Chapter

      Pages 122-135

      Extending Alloy with Partial Instances

    4. No Access

      Book Chapter

      Pages 136-149

      Toward a More Complete Alloy

    5. No Access

      Book Chapter

      Pages 150-163

      Temporal Logic Model Checking in Alloy

    6. No Access

      Book Chapter

      Pages 164-177

      Active Attacking Multicast Key Management Protocol Using Alloy

  5. B Papers

    1. No Access

      Book Chapter

      Pages 178-193

      Formalizing Hybrid Systems with Event-B

    2. No Access

      Book Chapter

      Pages 194-207

      SMT Solvers for Rodin

    3. No Access

      Book Chapter

      Pages 208-222

      Refinement Plans for Informed Formal Design

    4. No Access

      Book Chapter

      Pages 223-237

      Refinement by Interface Instantiation

    5. No Access

      Book Chapter

      Pages 238-251

      Discharging Proof Obligations from Atelier B Using Multiple Automated Provers

  6. VDM Papers

    1. No Access

      Book Chapter

      Pages 252-265

      A Semantic Analysis of Logics That Cope with Partial Terms

    2. No Access

      Book Chapter

      Pages 266-279

      Combining VDM with Executable Code

  7. Z Papers

    1. No Access

      Book Chapter

      Pages 280-293

      Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions

previous Page of 2