Work

An Incremental Runtime Stochastic Model Checking Framework for Verifying Communication Protocols of Industrial CPS

Year: 2024

Type: conference-paper

Source: IEEE International Conference on Software Engineering and Service Science (ICSESS)

DOI: 10.1109/icsess62520.2024.10719390

Authors: Yang Liu, Tao Wang, Chao He

Institution: Nanjing University of Finance and Economics

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4403676552

FWCI:

Cites: 22

Cited by:

Related to: 10