Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems

Armando Castañeda, Gilde Valeria Rodríguez

Implementing correct distributed systems is an error-prone task. Runtime Verification (RV) offers a lightweight formal method to improve reliability by monitoring system executions…