Leveraging Applications of Formal Methods

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

  • Tiziana Margaria
  • Bernhard Steffen

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

Table of contents

  1. Front Matter
  2. Farhad Arbab, Joost N. Kok
    Pages 1-8
  3. Dave Clarke, David Costa, Farhad Arbab
    Pages 9-25
  4. A. Stam, J. Jacob, F. S. de Boer, M. M. Bonsangue, L. van der Torre
    Pages 42-56
  5. Dan Quinlan, Markus Schordan, Qing Yi, Andreas Saebjornsen
    Pages 57-73
  6. Byron Cook, Daniel Kroening, Natasha Sharygina
    Pages 96-114
  7. Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
    Pages 115-129
  8. Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper
    Pages 146-160
  9. Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff
    Pages 161-180
  10. Sriram K. Rajamani, Jakob Rehof
    Pages 181-196
  11. Back Matter

About these proceedings


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

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.Institute for InformaticsUniversity of PotsdamPotsdamGermany
  2. 2.Chair Programming SystemsUniversität DortmundDortmundGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-48928-3
  • Online ISBN 978-3-540-48929-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software