NASA Formal Methods

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

  • Sanjai Rayadurgam
  • Oksana Tkachuk
Conference proceedings NFM 2016

DOI: 10.1007/978-3-319-40648-0

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9690)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Requirements and Architectures

    1. Front Matter
      Pages 1-1
    2. Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, Romain Kervarc
      Pages 3-18
    3. John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
      Pages 19-33
    4. Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar
      Pages 34-40 Open Access
    5. Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
      Pages 41-46
  3. Testing and Run-Time Enforcement

    1. Front Matter
      Pages 47-47
    2. Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
      Pages 49-64
    3. Srinivas Pinisetty, Stavros Tripakis
      Pages 82-99
    4. Hao Ren, Devesh Bhatt, Jan Hvozdovic
      Pages 100-106 Open Access
  4. Code Generation and Synthesis

    1. Front Matter
      Pages 115-115
    2. Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia
      Pages 133-149
    3. Gaspard Férey, Natarajan Shankar
      Pages 150-165
    4. Néstor Cataño, Víctor Rivera
      Pages 166-171
  5. Applications of Formal Methods

    1. Front Matter
      Pages 173-173
    2. Albert Rizaldi, Fabian Immler, Matthias Althoff
      Pages 175-190
    3. Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan
      Pages 191-205

About these proceedings

Introduction

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.
The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification. 

Keywords

autonomous vehicles formal logic formal methods formal verification model checking programming languages real-time systems semantics software engineering static analysis specification theorem proving

Editors and affiliations

  • Sanjai Rayadurgam
    • 1
  • Oksana Tkachuk
    • 2
  1. 1.University of MinnesotaMinneapolisUSA
  2. 2.NASA Ames Research Center Moffett FieldUSA

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-40647-3
  • Online ISBN 978-3-319-40648-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349