Fig 2 - Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

Approach for checking inductive stability and invariance properties for rewrite theories

Reference

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool - Scientific Figure on ResearchGate. Available from: https://www.researchgate.net/figure/Approach-for-checking-inductive-stability-and-invariance-properties-for-rewrite-theories_fig1_267471807 [accessed 21 Mar 2025]

Caption

Fig. 2. Approach for checking inductive stability and invariance properties for rewrite theories

Embed code

<a href="https://www.researchgate.net/figure/Approach-for-checking-inductive-stability-and-invariance-properties-for-rewrite-theories_fig1_267471807"><img src="https://www.researchgate.net/profile/Camilo-Rocha-2/publication/267471807/figure/fig1/AS:613906376556550@1523378094074/Approach-for-checking-inductive-stability-and-invariance-properties-for-rewrite-theories.png" alt="Approach for checking inductive stability and invariance properties for rewrite theories"/></a>