@article{726565,
      note = {International conference proceedings.},
      author = {Havelund, Klaus, and Holzmann, Gerard, and Joshi, Rajeev,},
      url = {http://library.usi.edu/record/726565},
      title = {NASA formal methods 7th International Symposium, NFM 2015,  Pasadena, CA, USA, April 27-29, 2015, Proceedings /  [electronic resource] :. NFM (Symposium)},
      abstract = {This book constitutes the refereed proceedings of the 7th  International Symposium on NASA Formal Methods, NFM 2015,  held in Pasadena, CA, USA, in April 2015. The 24 revised  regular papers presented together with 9 short papers were  carefully reviewed and selected from 108 submissions. The  topics include model checking, theorem proving; SAT and SMT  solving; symbolic execution; static analysis; runtime  verification; systematic testing; program refinement;  compositional verification; security and intrusion  detection; modeling and specification formalisms;  model-based development; model-based testing; requirement  engineering; formal approaches to fault tolerance; and  applications of formal methods.},
      doi = {https://doi.org/10.1007/978-3-319-17524-9},
      recid = {726565},
      pages = {1 online resource (xiii, 458 pages) :},
}