Skip to main content
SpringerLink
Log in
Book cover

Abstract State Machines, Alloy, B and Z

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Marc Frappier

    1. Département d’informatique, Sherbrooke, Université de Sherbrooke, Québec, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Uwe Glässer

    1. School of Computing Science, Simon Fraser University, Burnaby, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sarfraz Khurshid

    1. Department of Electrical and computer Engineering, University of Texas at Austin, Austin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Régine Laleau

    1. Département informatique, Route forestiére Hurtault, Université Paris-Est Créteil, IUT Sénart/Fontainebleau, Fontainebelau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. 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

  • State of the art research
  • Up to date conference proceedings
  • Cutting edge results

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

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

Included in the following conference series:

Conference proceedings info: ABZ 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (46 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. A Structure for Dependability Arguments

      • Daniel Jackson, Eunsuk Kang
      Pages 1-1

    2. Formal Probabilistic Analysis: A Higher-Order Logic Based Approach

      • Osman Hasan, Sofiène Tahar
      Pages 2-19

  3. ASM Papers

    1. Synchronous Message Passing and Semaphores: An Equivalence Proof

      • Iain Craig, Egon Börger
      Pages 20-33

    2. AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps

      • Jameleddine Hassine
      Pages 34-46

    3. Bârun: A Scripting Language for CoreASM

      • Michael Altenhofen, Roozbeh Farahbod
      Pages 47-60

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

      • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
      Pages 61-74

    5. An Executable Semantics of the SystemC UML Profile

      • Elvinia Riccobene, Patrizia Scandurra
      Pages 75-90

  4. Alloy Papers

    1. Specifying Self-configurable Component-Based Systems with FracToy

      • Alban Tiberghien, Philippe Merle, Lionel Seinturier
      Pages 91-104

    2. Trace Specifications in Alloy

      • Jeremy L. Jacob
      Pages 105-117

    3. An Imperative Extension to Alloy

      • Joseph P. Near, Daniel Jackson
      Pages 118-131

    4. Towards Formalizing Network Architectural Descriptions

      • Joud Khoury, Chaouki T. Abdallah, Gregory L. Heileman
      Pages 132-145

    5. Lightweight Modeling of Java Virtual Machine Security Constraints

      • Mark C. Reynolds
      Pages 146-159

    6. Alloy+HotCore: A Fast Approximation to Unsat Core

      • Nicolás D’Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
      Pages 160-173

  5. B Papers

    1. Supporting Reuse in Event B Development: Modularisation Approach

      • Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic et al.
      Pages 174-188

    2. Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance

      • Andrew Ireland, Gudmund Grov, Michael Butler
      Pages 189-202

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

      • Bruno Gomes, David Déharbe, Anamaria Moreira, Katia Moraes
      Pages 203-216

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

      • David Déharbe
      Pages 217-230

    5. A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

      • Edd Turner, Michael Butler, Michael Leuschel
      Pages 231-244

    6. Development of a Synchronous Subset of AADL

      • Mamoun Filali-Amine, Julia Lawall
      Pages 245-258
Back to top

Other volumes

  1. Abstract State Machines, Alloy, B and Z

Keywords

Editors and Affiliations

  • Département d’informatique, Sherbrooke, Université de Sherbrooke, Québec, Canada

    Marc Frappier

  • School of Computing Science, Simon Fraser University, Burnaby, Canada

    Uwe Glässer

  • Department of Electrical and computer Engineering, University of Texas at Austin, Austin, USA

    Sarfraz Khurshid

  • Département informatique, Route forestiére Hurtault, Université Paris-Est Créteil, IUT Sénart/Fontainebleau, Fontainebelau, France

    Régine Laleau

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

    Steve Reeves

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation