Skip to main content
  • Conference proceedings
  • © 2006

Leveraging Applications of Formal Methods

First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

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

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

Conference series link(s): ISoLA: International Symposium on Leveraging Applications of Formal Methods

Conference proceedings info: ISoLA 2004.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (12 papers)

  1. Front Matter

  2. Interaction and Coordination of Tools for Structured Data

    • Farhad Arbab, Joost N. Kok
    Pages 1-8
  3. Modelling Coordination in Biological Systems

    • Dave Clarke, David Costa, Farhad Arbab
    Pages 9-25
  4. Using XML Transformations for Enterprise Architectures

    • A. Stam, J. Jacob, F. S. de Boer, M. M. Bonsangue, L. van der Torre
    Pages 42-56
  5. Classification and Utilization of Abstractions for Optimization

    • Dan Quinlan, Markus Schordan, Qing Yi, Andreas Saebjornsen
    Pages 57-73
  6. Accurate Theorem Proving for Program Verification

    • Byron Cook, Daniel Kroening, Natasha Sharygina
    Pages 96-114
  7. Designing Safe, Reliable Systems Using Scade

    • Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
    Pages 115-129
  8. Static Timing Analysis of Real-Time Operating System Code

    • Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
    Pages 146-160
  9. A Case Study in Domain-Customized Model Checking for Real-Time Component Software

    • Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff
    Pages 161-180
  10. Models for Contract Conformance

    • Sriram K. Rajamani, Jakob Rehof
    Pages 181-196
  11. Back Matter

Other Volumes

  1. Leveraging Applications of Formal Methods

Keywords

  • Unified Modeling Language (UML)
  • algorithms
  • classification
  • deductive verification
  • formal analysis
  • formal methods
  • formal modeling
  • hybrid petri nets
  • logical constraints
  • model checking
  • modeling
  • operating system
  • optimization
  • theorem proving
  • verification

Reviews

From the reviews:

"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. … I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)

Editors and Affiliations

  • Institute for Informatics, University of Potsdam, Potsdam, Germany

    Tiziana Margaria

  • Chair Programming Systems, Universität Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions