Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

این کتاب مجموعه مقالات کنفرانس با داوری کامل هجدهمین کارگاه بین‌المللی روش‌های رسمی برای سیستم‌های بحرانی صنعتی، FMICS 2013، برگزار شده در مادرید، اسپانیا، در سپتامبر 2013 است. مانند طراحی، مشخصات، تولید کد و آزمایش بر اساس روش‌ها، روش‌ها، تکنیک‌ها و ابزارهای رسمی برای پشتیبانی از تجزیه و تحلیل خودکار، صدور گواهینامه، اشکال‌زدایی، یادگیری، بهینه‌سازی و تبدیل سیستم‌های پیچیده، توزیع‌شده، قابل اعتماد، بلادرنگ و سیستم‌های تعبیه‌شده، تأیید. و روش‌های اعتبارسنجی، ابزارهایی برای توسعه توصیف‌های طراحی رسمی، مطالعات موردی و گزارش‌های تجربی در مورد کاربردهای صنعتی روش‌های رسمی، تأثیر پذیرش روش‌های رسمی بر فرآیند توسعه و هزینه‌های مرتبط، کاربرد روش‌های رسمی در استانداردسازی و انجمن‌های صنعتی.

This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.