LAUSR

This special issue contains extended versions of selected contributions of the 10th NASA Formal Methods Symposium (NFM2018). The symposiumwas held onApril 17–19, 2018 in Newport News, VA and its proceedings appeared as volume 10811 of the series Lecture Notes in Computer Science (LNCS), published by Springer. The NASA Formal Methods (NFM) Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions to achieving assurance in missionand safety-critical systems. The papers appearing in this special issue were carefully reviewed by specialists, including members of the NFM 2018 Program Committee and additional experts. The reviewers guaranteed both significant additional contributions with respect to the LNCS proceedings and assured the quality standards of the Innovation in Systems and Software Engineering a NASA Journal. In the following, a short introduction is given to each of the nine papers included in this volume. In Formal Modeling and Analysis of Safety-Critical HumanMultitasking,G.Broccia, P.Milazzo, andP.Ölveczky define in Real-Time Maude an executable formal model of human attention and multitasking. This formalization supports the analysis of cognitive overload in safety-critical applications using simulation and model-checking. In On Rewriting Towards Trace Coverage of Symmetric Systems, F. de Paula, A. Haran, and B. Bingham present a framework that combines rewriting and abstraction to construct a coverage model of systems of parameterized symmetric models. This coverage model is used to identify coverage-holes in large systems. In Model-Based Testing of Stochastically Timed Systems, M.Gerhold,A.Hartmanns, andM. Stoelinga proposemodel-