@article{891514,
      note = {Includes author index.},
      author = {Badger, Julia M. and Rozier, Kristin Yvonne.},
      url = {http://library.usi.edu/record/891514},
      title = {NASA Formal Methods : 11th International Symposium, NFM  2019, Houston, TX, USA, May 7-9, 2019, Proceedings /. NFM  (Symposium)},
      abstract = {This book constitutes the proceedings of the 11th  International Symposium on NASA Formal Methods, NFM 2019,  held in Houston, TX, USA, in May 2019. The 20 full and 8  short papers presented in this volume were carefully  reviewed and selected from 102 submissions. The papers  focus on formal verification, including theorem proving,  model checking, and static analysis; advances in automated  theorem proving including SAT and SMT solving; use of  formal methods in software and system testing; run-time  verification; techniques and algorithms for scaling formal  methods, such as abstraction and symbolic methods,  compositional techniques, as well as parallel and/or  distributed techniques; code generation from formally  verified models; safety cases and system safety; formal  approaches to fault tolerance; theoretical advances and  empirical evaluations of formal methods techniques for  safety-critical systems, including hybrid and embedded  systems; formal methods in systems engineering and  model-based development; correct-by-design controller  synthesis; formal assurance methods to handle adaptive  systems.},
      doi = {https://doi.org/10.1007/978-3-030-20},
      recid = {891514},
      pages = {1 online resource (xxi, 392 pages) :},
}