NASA Formal Methods

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

  • Alwyn E. Goodloe
  • Suzette Person
Conference proceedings NFM 2012

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

Table of contents

  1. Front Matter
  2. Cesare Tinelli
    Pages 1-1
  3. Andrew W. Appel
    Pages 2-2
  4. Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer
    Pages 8-23
  5. Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi
    Pages 24-38
  6. Nicolas Brisebarre, Mioara Joldeş, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Paşca et al.
    Pages 85-99
  7. Étienne André, Laurent Fribourg, Romain Soulat
    Pages 100-105
  8. Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski et al.
    Pages 120-125
  9. Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen, Brian LaValley, Lui Sha
    Pages 126-140
  10. Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
    Pages 141-146
  11. Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Perez et al.
    Pages 147-161
  12. Norbert Th. Müller, Christian Uhrhan
    Pages 168-173
  13. Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
    Pages 174-180
  14. Xinxin Liu, Bingtian Xue
    Pages 181-194
  15. Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
    Pages 210-215
  16. Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen
    Pages 216-230
  17. Yuhui Lin, Alan Bundy, Gudmund Grov
    Pages 231-236
  18. Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu
    Pages 237-251
  19. Jiři Barnat, Luboš Brim, Petr Ročkai
    Pages 252-266
  20. Daniel Balasubramanian, Corina S. Păsăreanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael Lowry et al.
    Pages 267-272
  21. Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison
    Pages 273-278
  22. Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
    Pages 279-294
  23. Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng
    Pages 295-309
  24. Leonard Lensink, Sjaak Smetsers, Marko van Eekelen
    Pages 310-325
  25. David N. Jansen, Flemming Nielson, Lijun Zhang
    Pages 326-340
  26. George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros
    Pages 341-355
  27. Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang
    Pages 356-370
  28. Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen
    Pages 388-402
  29. Damiano Macedonio, Massimo Merro
    Pages 403-417
  30. Xian Zhang, Martin Leucker, Wei Dong
    Pages 418-432
  31. Kalyan C. Regula, Hampton Smith, Heather Harton Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman
    Pages 433-448
  32. Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen
    Pages 449-463
  33. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.


cyber security formal techniques formalism model checking symbolic execution

Editors and affiliations

  • Alwyn E. Goodloe
    • 1
  • Suzette Person
    • 1
  1. 1.NASA Langley Research CenterHamptonUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-28890-6
  • Online ISBN 978-3-642-28891-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site