The paper "The nuXmv Symbolic Model Checker" by Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, and Stefano Tonetta has been published in the proceedings of the International Conference on Computer-Aided Verification (CAV 2014). The paper presents the tool nuXmv, which is a key element of the tool framework used in D-MILS for the verification of MILS-AADL models.