Crossmark

Runtime verification of partially-synchronous distributed system

Published Online: 2024-06-14

Published Print: 2024-12

Authors

Ganguly, Ritam

Momtaz, Anik

Bonakdarpour, Borzoo https://orcid.org/0000-0003-1800-5419
Funding

Funding for this research was provided by:

Directorate for Computer and Information Science and Engineering (2102106)
License Information

Text and Data Mining valid from 2024-06-14

Version of Record valid from 2024-06-14
More Information

Article History

Received: 15 December 2021

Accepted: 13 March 2024

First Online: 14 June 2024

Document is current