175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Programming and Software Engineering

Formal Methods for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Editors: Leue, Stefan, Merino, Pedro (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-79707-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-79706-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.

The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.

Table of contents (17 chapters)

  • Verification of Embedded Software: From Mars to Actions

    Pecheur, Charles

    Pages 1-1

  • Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel

    Berry, Gérard

    Pages 2-2

  • Static Analysis of the Accuracy in Control Systems: Principles and Experiments

    Goubault, Eric (et al.)

    Pages 3-20

  • Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code

    Schlich, Bastian (et al.)

    Pages 21-37

  • Checking the TWIN Elevator System by Translating Object-Z to SMV

    Preibusch, Sören (et al.)

    Pages 38-55

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods for Industrial Critical Systems
Book Subtitle
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Editors
  • Stefan Leue
  • Pedro Merino
Series Title
Programming and Software Engineering
Series Volume
4916
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-79707-4
DOI
10.1007/978-3-540-79707-4
Softcover ISBN
978-3-540-79706-7
Edition Number
1
Number of Pages
X, 254
Topics