Distributed runtime verification under partial synchrony

DOI10.4230/LIPICS.OPODIS.2020.20MaRDI QIDQ6834026zbMATH OpenFDO

Authors Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour

Publication date 31 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.OPODIS.2020.20

zbMATH Keywords

cassandradistributed systemsformal methodsruntime monitoring

Mathematics Subject Classification ID

Distributed systems (68M14) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

This page was built for publication: Distributed runtime verification under partial synchrony

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