Model checking distributed temporal logic

DOI10.1093/JIGPAL/JZAE043MaRDI QIDQ6909106zbMATH OpenFDO

Authors Francisco Dionisio, Jaime Ramos, Fernando Subtil, Luca Viganò

Publication date 30 October 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

zbMATH Keywords

verificationmodel checkingdistributed systemsspecificationBüchi automatadistributed temporal logic (DTL)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Model checking distributed temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909106)