This volume presents cutting-edge research in formal methods, a critical area for ensuring the correctness and reliability of complex systems. The 19th International Symposium on Formal Methods (FM 2014) convened in Singapore to address these challenges, bringing together researchers and practitioners. The selected papers cover a broad spectrum of topics, including the integration of formal methods with other disciplines, their practical application in industry and research, the experimental validation of tools and methodologies, and the development and enhancement of formal methods tools themselves.

This collection represents the proceedings of the 19th International Symposium on Formal Methods, indicating a focus on current research and development within the field. The selection process, involving careful review and selection from a substantial number of submissions, suggests a high standard for the included papers. The topics covered point to a work aimed at researchers and professionals actively engaged in the theoretical and practical aspects of formal methods, particularly those concerned with verification, tool development, and industrial application.