Skip to main content
SpringerLink
Log in
Download book PDF
Book cover
  • Conference proceedings
  • © 2012

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

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

Editors:

  1. John Derrick

    1. Department of Computer Science, University of Sheffield, Sheffield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Fitzgerald

    1. Newcastle University, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Stefania Gnesi

    1. Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Sarfraz Khurshid

    1. Electrical and Computer Engineering, The University of Texas at Austin, Austin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Michael Leuschel

    1. Heinrich-Heine-University of Düsseldorf, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Steve Reeves

    1. Department of Computer Science, The University of Waikato, Hamilton, New Zealand

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Elvinia Riccobene

    1. Department of Information Technology, Università degli Studi di Milano, Crema, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • State of the art research
  • Fast track conference proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7316)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ABZ: International Conference on Rigorous State-Based Methods

Conference proceedings info: ABZ 2012.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Table of contents (35 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. Contribution to a Rigorous Analysis of Web Application Frameworks

      • Egon Börger, Antonio Cisternino, Vincenzo Gervasi
      Pages 1-20
      PDF
    2. PDF

  3. ASM Papers

    1. Test Generation for Sequential Nets of Abstract State Machines

      • Paolo Arcaini, Francesco Bolis, Angelo Gargantini
      Pages 36-50
      PDF

    2. ASM and Controller Synthesis

      • Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
      Pages 51-64
      PDF

    3. Continuous ASM, and a Pacemaker Sensing Fragment

      • Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
      Pages 65-78
      PDF

    4. An ASM Model of Concurrency in a Web Browser

      • Vincenzo Gervasi
      Pages 79-93
      PDF

  4. Alloy Papers

    1. Modeling the Supervisory Control Theory with Alloy

      • Benoît Fraikin, Marc Frappier, Richard St-Denis
      Pages 94-107
      PDF

    2. Preventing Arithmetic Overflows in Alloy

      • Aleksandar Milicevic, Daniel Jackson
      Pages 108-121
      PDF

    3. Extending Alloy with Partial Instances

      • Vajih Montaghami, Derek Rayside
      Pages 122-135
      PDF

    4. Toward a More Complete Alloy

      • Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
      Pages 136-149
      PDF

    5. Temporal Logic Model Checking in Alloy

      • Amirhossein Vakili, Nancy A. Day
      Pages 150-163
      PDF
    6. PDF

  5. B Papers

    1. Formalizing Hybrid Systems with Event-B

      • Jean-Raymond Abrial, Wen Su, Huibiao Zhu
      Pages 178-193
      PDF

    2. SMT Solvers for Rodin

      • David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin
      Pages 194-207
      PDF

    3. Refinement Plans for Informed Formal Design

      • Gudmund Grov, Andrew Ireland, Maria Teresa Llano
      Pages 208-222
      PDF

    4. Refinement by Interface Instantiation

      • Stefan Hallerstede, Thai Son Hoang
      Pages 223-237
      PDF

    5. Discharging Proof Obligations from Atelier B Using Multiple Automated Provers

      • David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka
      Pages 238-251
      PDF

  6. VDM Papers

    1. A Semantic Analysis of Logics That Cope with Partial Terms

      • Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles
      Pages 252-265
      PDF

    2. Combining VDM with Executable Code

      • Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen
      Pages 266-279
      PDF
Back to top

Other Volumes

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

Back to top

About this book

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science, University of Sheffield, Sheffield, UK

    John Derrick

  • Newcastle University, UK

    John Fitzgerald

  • Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Pisa, Italy

    Stefania Gnesi

  • Electrical and Computer Engineering, The University of Texas at Austin, Austin, USA

    Sarfraz Khurshid

  • Heinrich-Heine-University of Düsseldorf, Germany

    Michael Leuschel

  • Department of Computer Science, The University of Waikato, Hamilton, New Zealand

    Steve Reeves

  • Department of Information Technology, Università degli Studi di Milano, Crema, Italy

    Elvinia Riccobene

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Download book PDF

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation