Introduction to the Special Section on FM 2021

Marieke Huisman; Corina Pasareanu; Naijun Zhan

doi:10.1145/3604594

Introduction to the Special Section on FM 2021

Marieke Huisman, Corina Pasareanu, Naijun Zhan

Research output: Contribution to journal › Editorial › Academic

31 Downloads (Pure)

Abstract

Formal methods have been used in a wide range of domains, including software, cyber-physical systems, and integrated computer-based systems. In recent years, we have seen in particular the application of formal methods in a wide range of areas, such as systems-of-systems, security, artificial intelligence, human-computer interaction, manufacturing, sustainability, power, transport, smart cities, healthcare, and biology. Formal methods also get used more and more in industry. All of these developments are supported by the design and validation of various formal method tools.

Original language	English
Article number	6
Pages (from-to)	1-2
Number of pages	2
Journal	Formal aspects of computing
Volume	35
Issue number	2
DOIs	https://doi.org/10.1145/3604594
Publication status	Published - 23 Jun 2023

Access to Document

10.1145/3604594

3604594Final published version, 92 KB

Cite this

@article{0e3108e7aaf04671a50d8d2430b95cad,

title = "Introduction to the Special Section on FM 2021",

abstract = "Formal methods have been used in a wide range of domains, including software, cyber-physical systems, and integrated computer-based systems. In recent years, we have seen in particular the application of formal methods in a wide range of areas, such as systems-of-systems, security, artificial intelligence, human-computer interaction, manufacturing, sustainability, power, transport, smart cities, healthcare, and biology. Formal methods also get used more and more in industry. All of these developments are supported by the design and validation of various formal method tools.",

author = "Marieke Huisman and Corina Pasareanu and Naijun Zhan",

year = "2023",

month = jun,

day = "23",

doi = "10.1145/3604594",

language = "English",

volume = "35",

pages = "1--2",

journal = "Formal aspects of computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery (ACM)",

number = "2",

}

TY - JOUR

T1 - Introduction to the Special Section on FM 2021

AU - Huisman, Marieke

AU - Pasareanu, Corina

AU - Zhan, Naijun

PY - 2023/6/23

Y1 - 2023/6/23

N2 - Formal methods have been used in a wide range of domains, including software, cyber-physical systems, and integrated computer-based systems. In recent years, we have seen in particular the application of formal methods in a wide range of areas, such as systems-of-systems, security, artificial intelligence, human-computer interaction, manufacturing, sustainability, power, transport, smart cities, healthcare, and biology. Formal methods also get used more and more in industry. All of these developments are supported by the design and validation of various formal method tools.

AB - Formal methods have been used in a wide range of domains, including software, cyber-physical systems, and integrated computer-based systems. In recent years, we have seen in particular the application of formal methods in a wide range of areas, such as systems-of-systems, security, artificial intelligence, human-computer interaction, manufacturing, sustainability, power, transport, smart cities, healthcare, and biology. Formal methods also get used more and more in industry. All of these developments are supported by the design and validation of various formal method tools.

U2 - 10.1145/3604594

DO - 10.1145/3604594

M3 - Editorial

SN - 0934-5043

VL - 35

SP - 1

EP - 2

JO - Formal aspects of computing

JF - Formal aspects of computing

IS - 2

M1 - 6

ER -

Introduction to the Special Section on FM 2021

Abstract

Access to Document

Fingerprint

Cite this