Advertisement

NASA Formal Methods

5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

  • Guillaume Brat
  • Neha Rungta
  • Arnaud Venet
Conference proceedings NFM 2013

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

Table of contents

  1. Front Matter
  2. Session 1: Model Checking

    1. Petr Ročkai, Jiří Barnat, Luboš Brim
      Pages 1-15
    2. Alfons Laarman, David Faragó
      Pages 32-47
  3. Session 2: Applications of Formal Methods

    1. Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko van Eekelen
      Pages 63-77
    2. Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
      Pages 78-92
  4. Session 3: Complex Systems

    1. Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont
      Pages 93-107
    2. Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
      Pages 108-123
    3. Malte Isberner, Falk Howar, Bernhard Steffen
      Pages 124-138
  5. Session 4: Static Analysis

    1. Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli
      Pages 139-154
    2. Yassamine Seladji, Olivier Bouissou
      Pages 155-169
    3. Bogdan Mihaila, Alexander Sepp, Axel Simon
      Pages 170-184
    4. Dennis Griffith, Elsa L. Gunter
      Pages 185-197
  6. Session 5: Symbolic Execution

    1. Timothy K. Zirkel, Stephen F. Siegel, Timothy McClory
      Pages 198-212
    2. Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamarić
      Pages 213-228
    3. Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
      Pages 229-243
  7. Session 6: Requirements and Specifications

    1. Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adria Casajus et al.
      Pages 244-260
    2. Aditi Tagore, Bruce W. Weide
      Pages 261-275
    3. Brian R. Larson, Patrice Chalin, John Hatcliff
      Pages 276-290
    4. Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
      Pages 291-306
  8. Session 7: Probabilistic and Statistical Analysis

    1. Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
      Pages 307-321
    2. Peter Höfner, Annabelle McIver
      Pages 322-336
    3. Arnd Hartmanns, Mark Timmer
      Pages 337-351
    4. Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis
      Pages 352-367
  9. Session 8: Theorem Proving

    1. Umair Siddique, Vincent Aravantinos, Sofiène Tahar
      Pages 368-382
    2. Brigid Halling, Perry Alexander
      Pages 398-412
    3. Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar
      Pages 413-427
  10. Short Papers

    1. Sergio Feo-Arenis, Bernd Westphal
      Pages 428-434
    2. Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve Schneider
      Pages 435-440
    3. Alwyn E. Goodloe, César Muñoz, Florent Kirchner, Loïc Correnson
      Pages 441-446
    4. Steven Lyde, Matthew Might
      Pages 447-452
    5. Simon Busard, Charles Pecheur
      Pages 453-458
    6. Normann Decker, Martin Leucker, Daniel Thoma
      Pages 459-464
    7. Daniel Ratiu, Markus Voelter, Bernd Kolb, Bernhard Schaetz
      Pages 465-471
    8. Kevin Krause, Jim Alves-Foss
      Pages 472-477
    9. Ewen Denney, Ganesh Pai, Iain Whiteside
      Pages 478-483
  11. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

Keywords

embedded systems formal verification gene regulation networks real-time systems software engineering

Editors and affiliations

  • Guillaume Brat
    • 1
  • Neha Rungta
    • 2
  • Arnaud Venet
    • 3
  1. 1.NASA Ames Research CenterUSA
  2. 2.Stinger Ghaffarian Technologies Inc.NASA Ames Research CenterUSA
  3. 3.NASA Ames Research CenterCarnegie Mellon UniversityUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-38088-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38087-7
  • Online ISBN 978-3-642-38088-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering