Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Welcome to Formal Methods in Industry
IT Professional ( IF 2.6 ) Pub Date : 2020-01-01 , DOI: 10.1109/mitp.2020.2968715 Tiziana Margaria 1 , Joseph Kiniry 2
IT Professional ( IF 2.6 ) Pub Date : 2020-01-01 , DOI: 10.1109/mitp.2020.2968715 Tiziana Margaria 1 , Joseph Kiniry 2
Affiliation
The vast majority of basic research in formal methods takes place in halls of academia, yet the enormous amounts of applied use of formal methods quietly takes place in companies worldwide. So, while we will not avoid talking about research results and academic work, the main focus of this column is the evolution of the impact of formal methods in industry. That impact has grown from a rarely used niche (and once overhyped), requiring necessarily deep specialized knowledge, to a widely used, under-the-covers, set of tools and techniques usable by normal employees, which save companies millions and protect nationally critical infrastructure and life and limb.
中文翻译:
欢迎来到工业中的正式方法
形式方法的绝大多数基础研究发生在学术界的大厅里,但形式方法的大量应用却悄然发生在世界各地的公司中。因此,虽然我们不会回避讨论研究成果和学术工作,但本专栏的主要重点是形式方法在工业中的影响的演变。这种影响已经从一个很少使用的利基市场(曾经被过度宣传),需要深入的专业知识,发展到广泛使用的、隐藏的、普通员工可以使用的一套工具和技术,这为公司节省了数百万美元并保护了国家关键基础设施和生命和肢体。
更新日期:2020-01-01
中文翻译:
欢迎来到工业中的正式方法
形式方法的绝大多数基础研究发生在学术界的大厅里,但形式方法的大量应用却悄然发生在世界各地的公司中。因此,虽然我们不会回避讨论研究成果和学术工作,但本专栏的主要重点是形式方法在工业中的影响的演变。这种影响已经从一个很少使用的利基市场(曾经被过度宣传),需要深入的专业知识,发展到广泛使用的、隐藏的、普通员工可以使用的一套工具和技术,这为公司节省了数百万美元并保护了国家关键基础设施和生命和肢体。