Efficient interaction-based offline runtime verification of distributed systems involves observing system executions against formal specifications. The paper introduces lifeline removal to address challenges in analyzing multi-traces due to lack of synchronization. By leveraging operational semantics, the algorithm optimizes global multi-trace analysis by handling partial observations and proving failure more quickly.
إلى لغة أخرى
من محتوى المصدر
arxiv.org
الرؤى الأساسية المستخلصة من
by Erwan Mahe,B... في arxiv.org 03-06-2024
https://arxiv.org/pdf/2403.03057.pdfاستفسارات أعمق