Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2010

Abstract State Machines, Alloy, B and Z

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

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)

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

Conference proceedings info: ABZ 2010.

Sections

Buy it now

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

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

Table of contents (46 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. A Structure for Dependability Arguments

      • Daniel Jackson, Eunsuk Kang
      Pages 1-1

  3. ASM Papers

    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

    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

    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

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation