设计、验证、实施和验证:从梦想到现实

IF 2.2 4区计算机科学 Q3 COMPUTER SCIENCE, INFORMATION SYSTEMS

IT Professional Pub Date : 2023-09-01 DOI:10.1109/mitp.2023.3314327

Axel Legay

引用次数: 0

摘要

本文介绍了统计模型检验(SMC)的概念。这种方法将形式化验证和形式化模型的概念与仿真的概念巧妙地结合在一起。本文还说明了该方法在各种应用程序中的潜力，从验证复杂需求到确保目标规划。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Design, Validate, Implement, and Validate: From Dreaming Approaches to Realities

This article introduces the concept of statistical model checking (SMC). This approach elegantly combines the concepts of formal verification and formal models with those of simulation. The article also illustrates the potential of the approach in various applications, ranging from validating complex requirements to secure goal planning.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

IT Professional COMPUTER SCIENCE, INFORMATION SYSTEMS-COMPUTER SCIENCE, SOFTWARE ENGINEERING

CiteScore

5.00

自引率

0.00%

发文量

111

审稿时长

>12 weeks

期刊介绍： IT Professional is a technical magazine of the IEEE Computer Society. It publishes peer-reviewed articles, columns and departments written for and by IT practitioners and researchers covering: practical aspects of emerging and leading-edge digital technologies, original ideas and guidance for IT applications, and novel IT solutions for the enterprise. IT Professional’s goal is to inform the broad spectrum of IT executives, IT project managers, IT researchers, and IT application developers from industry, government, and academia.