Pages that link to "Item:Q462493"
From MaRDI portal
The following pages link to State space reduction in the Maude-NRL protocol analyzer (Q462493):
Displaying 6 items.
- Maude-NPA (Q24090) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Protocol analysis with time and space (Q2154006) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
