Leveraging Applications of Formal Methods

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

  • Tiziana Margaria
  • Bernhard Steffen
Conference proceedings ISoLA 2004

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

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment