Software: Practice and Experience

Cover image for Vol. 41 Issue 2

Special Issue: Tool Building in Formal Methods: Extended Papers from WS-TBFM 2010

February 2011

Volume 41, Issue 2

Pages 131–208

Issue edited by: Frédéric Gervais, Benoît Fraikin

  1. Editorials

    1. Top of page
    2. Editorials
    3. Special Issue Papers
    1. You have free access to this content
      Tool building in formal methods (pages 131–132)

      Frédéric Gervais and Benoît Fraikin

      Article first published online: 11 JAN 2011 | DOI: 10.1002/spe.1046

  2. Special Issue Papers

    1. Top of page
    2. Editorials
    3. Special Issue Papers
    1. Developing UPPAAL over 15 years (pages 133–142)

      Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson and Wang Yi

      Article first published online: 23 JAN 2011 | DOI: 10.1002/spe.1006

    2. Experiences in developing the mCRL2 toolset (pages 143–153)

      J. F. Groote, J. J. A. Keiren, F. P. M. Stappers, J. W. Wesselink and T. A. C. Willemse

      Article first published online: 29 NOV 2010 | DOI: 10.1002/spe.1021

    3. A model-driven process for engineering a toolset for a formal method (pages 155–166)

      Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene and Patrizia Scandurra

      Article first published online: 23 JAN 2011 | DOI: 10.1002/spe.1019

    4. The CoreASM modeling framework (pages 167–178)

      Roozbeh Farahbod and Uwe Glässer

      Article first published online: 23 JAN 2011 | DOI: 10.1002/spe.1029

    5. Developing Camille, a text editor for Rodin (pages 189–198)

      Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel and Ingo Weigelt

      Article first published online: 23 JAN 2011 | DOI: 10.1002/spe.1016

    6. Decomposition tool for event-B (pages 199–208)

      Renato Silva, Carine Pascal, Thai Son Hoang and Michael Butler

      Article first published online: 23 JAN 2011 | DOI: 10.1002/spe.1002

SEARCH

SEARCH BY CITATION