03229nam 22007575 450 991034945680332120251225202059.09783319779355331977935410.1007/978-3-319-77935-5(CKB)4100000002965227(DE-He213)978-3-319-77935-5(MiAaPQ)EBC5577869(PPN)226696391(EXLCZ)99410000000296522720180310d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierNASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /edited by Aaron Dutle, César Muñoz, Anthony Narkawicz1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XI, 470 p. 156 illus.) Programming and Software Engineering,2945-9168 ;108119783319779348 3319779346 Includes bibliographical references and index.This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.Programming and Software Engineering,2945-9168 ;10811Software engineeringCompilers (Computer programs)Computer simulationArtificial intelligenceComputer scienceElectronic digital computersEvaluationSoftware EngineeringCompilers and InterpretersComputer ModellingArtificial IntelligenceTheory of ComputationSystem Performance and EvaluationSoftware engineering.Compilers (Computer programs).Computer simulation.Artificial intelligence.Computer science.Electronic digital computersEvaluation.Software Engineering.Compilers and Interpreters.Computer Modelling.Artificial Intelligence.Theory of Computation.System Performance and Evaluation.004.0151Dutle Aaronedthttp://id.loc.gov/vocabulary/relators/edtMuñoz Césaredthttp://id.loc.gov/vocabulary/relators/edtNarkawicz Anthonyedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349456803321NASA Formal Methods2860155UNINA