دانلود کتاب چهاردهمین سمپوزیوم بین‌المللی روش‌های رسمی ناسا

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 achieve assurance in mission-critical and safety-critical systems. The NASA Formal Methods Symposia welcome submissions on cross-cutting approaches that bring together formal methods and techniques from other domains.