Editors:
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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (12 papers)
-
Front Matter
-
Back Matter
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
Book Title: Leveraging Applications of Formal Methods
Book Subtitle: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Editors: Tiziana Margaria, Bernhard Steffen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/11925040
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2006
Softcover ISBN: 978-3-540-48928-3Published: 03 November 2006
eBook ISBN: 978-3-540-48929-0Published: 02 November 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VI, 197
Topics: Software Engineering, Computer Science Logic and Foundations of Programming, Compilers and Interpreters, Special Purpose and Application-Based Systems