Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking

Open Webpage

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Published: 2023, Last Modified: 06 Nov 2025Int. J. Softw. Eng. Knowl. Eng. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0