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

Axel Legay; Tiziana Margaria

doi:10.1109/MITP.2023.3314327

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

Axel Legay, Tiziana Margaria

Université catholique de Louvain

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	10-13
Number of pages	4
Journal	IT Professional
Volume	25
Issue number	5
DOIs	https://doi.org/10.1109/MITP.2023.3314327
Publication status	Published - 1 Sep 2023

Access to Document

10.1109/MITP.2023.3314327

Cite this

@article{5495e2cfecd74d9e93dc67d85ff51fbc,

title = "Design, Validate, Implement, and Validate: From Dreaming Approaches to Realities",

abstract = "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.",

author = "Axel Legay and Tiziana Margaria",

note = "Publisher Copyright: {\textcopyright} 2023 IEEE.",

year = "2023",

month = sep,

day = "1",

doi = "10.1109/MITP.2023.3314327",

language = "English",

volume = "25",

pages = "10--13",

journal = "IT Professional",

issn = "1520-9202",

number = "5",

}

TY - JOUR

T1 - Design, Validate, Implement, and Validate

T2 - From Dreaming Approaches to Realities

AU - Legay, Axel

AU - Margaria, Tiziana

PY - 2023/9/1

Y1 - 2023/9/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85176602041&partnerID=8YFLogxK

U2 - 10.1109/MITP.2023.3314327

DO - 10.1109/MITP.2023.3314327

M3 - Article

AN - SCOPUS:85176602041

SN - 1520-9202

VL - 25

SP - 10

EP - 13

JO - IT Professional

JF - IT Professional

IS - 5

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this