A comprehensive survey of UPPAAL-assisted formal modeling and verification

Open Webpage

Wenbo Zhou, Yujiao Zhao, Ye Zhang, Yiyuan Wang, Minghao Yin

Published: 01 Jan 2025, Last Modified: 18 Jul 2025Softw. Pract. Exp. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0