Programming and Software Engineering

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Editors: Misra, Jayadev, Nipkow, Tobias, Sekerinski, Emil (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-37216-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-37215-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (45 chapters)

  • The Embedded Systems Design Challenge

    Henzinger, Thomas A. (et al.)

    Pages 1-15

  • The Mondex Challenge: Machine Checked Proofs for an Electronic Purse

    Schellhorn, Gerhard (et al.)

    Pages 16-31

  • Interactive Verification of Medical Guidelines

    Schmitt, Jonathan (et al.)

    Pages 32-47

  • Certifying Airport Security Regulations Using the Focal Environment

    Delahaye, David (et al.)

    Pages 48-63

  • Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study

    Umeno, Shinya (et al.)

    Pages 64-80

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-37216-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-37215-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
FM 2006: Formal Methods
Book Subtitle
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Editors
  • Jayadev Misra
  • Tobias Nipkow
  • Emil Sekerinski
Series Title
Programming and Software Engineering
Series Volume
4085
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37216-5
DOI
10.1007/11813040
Softcover ISBN
978-3-540-37215-8
Edition Number
1
Number of Pages
XV, 620
Topics