Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking

Abstract The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results. This paper proposes a methodology of fine‐coarse‐grai...

Full description

Saved in:
Bibliographic Details
Main Authors: Wenjie Zhong, Jian‐tao Zhou, Tao Sun
Format: Article
Language:English
Published: Wiley 2023-02-01
Series:IET Software
Subjects:
Online Access:https://doi.org/10.1049/sfw2.12084
Tags: Add Tag
No Tags, Be the first to tag this record!