Skip to main content
SpringerLink
Log in
Book cover

Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Dieter Hutter

    1. German Research Center for Artificial Intelligence (DFKI GmbH), Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Werner Stephan

    1. German Research Center for Artificial Intelligence (DFKI GmbH), Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Paolo Traverso

    1. Centro per la ricerca scientifica e tecnologica, ITC-irst, Povo (Trento), Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Markus Ullmann

    1. Bundesamt für Sicherheit in der Informationstechnik (BSI), Bonn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 (28 papers)

  1. Application Papers

    1. The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process

      • Frank Koob, Markus Ullmann, Stefan Wittmann
      Pages 302-310

  2. Tool Papers

    1. Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

      • Giuseppe Del Castillo
      Pages 311-325

    2. The IFAD VDM Tools

      • Sten Agerholm, Peter Gorm Larsen
      Pages 326-329

    3. KIV 3.0 for Provably Correct Systems

      • Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
      Pages 330-337

    4. PVS: An Experience Report

      • S. Owre, J. M. Rushby, N. Shankar, D. W. J. Stringer-Calvert
      Pages 338-345

    5. Overview over the Project Quest

      • Oscar Slotosch
      Pages 346-350

    6. VSE: Controlling the Complexity in Formal Software Developments

      • Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser et al.
      Pages 351-358

    7. The wHOLe System

      • Mark E Woodcock
      Pages 359-366

    8. Z/EVES Version 1.5: An Overview

      • ORA Canada
      Pages 367-376

  3. Back Matter

    Pages 377-377
    Download chapter PDF
Back to top

Keywords

About this book

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare's prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe­ cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi­ neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated.

Editors and Affiliations

  • German Research Center for Artificial Intelligence (DFKI GmbH), Saarbrücken, Germany

    Dieter Hutter, Werner Stephan

  • Centro per la ricerca scientifica e tecnologica, ITC-irst, Povo (Trento), Italy

    Paolo Traverso

  • Bundesamt für Sicherheit in der Informationstechnik (BSI), Bonn, Germany

    Markus Ullmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation