Programming and Software Engineering

NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Editors: Dutle, Aaron, Munoz, César, Narkawicz, Anthony (Eds.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-319-77935-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA in USD
  • ISBN 978-3-319-77934-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Table of contents (31 chapters)

  • Incremental Construction of Realizable Choreographies

    Benyagoub, Sarah (et al.)

    Pages 1-19

  • Formal Assurance for Cooperative Intelligent Autonomous Agents

    Bhattacharyya, Siddhartha (et al.)

    Pages 20-36

  • Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C

    Blanchard, Allan (et al.)

    Pages 37-53

  • An Executable Formal Framework for Safety-Critical Human Multitasking

    Broccia, Giovanna (et al.)

    Pages 54-69

  • Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables

    Chand, Saksham (et al.)

    Pages 70-86

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-319-77935-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA in USD
  • ISBN 978-3-319-77934-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
NASA Formal Methods
Book Subtitle
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Editors
  • Aaron Dutle
  • César Munoz
  • Anthony Narkawicz
Series Title
Programming and Software Engineering
Series Volume
10811
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG, part of Springer Nature
eBook ISBN
978-3-319-77935-5
DOI
10.1007/978-3-319-77935-5
Softcover ISBN
978-3-319-77934-8
Edition Number
1
Number of Pages
XI, 470
Number of Illustrations and Tables
156 b/w illustrations
Topics