A comprehensive survey of UPPAAL‐assisted formal modeling and verification
Year: 2024
Type: article
Source: Software Practice and Experience
DOI: 10.1002/spe.3372
Authors: Wenbo Zhou, Yujiao Zhao, Ye Zhang, Yiyuan Wang, Minghao Yin
Institutions: Northeast Normal University, Guangxi Normal University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Awards: G2220967792, G7261288283
OpenAlex ID: W4402555909