Crossmark

An approximation-based incremental SMT approach for diagnosability analysis of real-time systems

Published Online: 2025-08-23

Authors

He, Lulu

Dague, Philippe https://orcid.org/0000-0003-1679-0804
Ye, Lina
Funding

Funding for this research was provided by:

Université Paris-Saclay
License Information

Text and Data Mining valid from 2025-08-23

Version of Record valid from 2025-08-23
More Information

Article History

Received: 19 December 2022

Accepted: 10 July 2025

First Online: 23 August 2025

Declarations

:

: The authors have no competing interests to declare that are relevant to the content of this article.

Document is current