Raúl López-Rueda
From MaRDI portal
Person:6052947
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| DM-check: verifying invariants of concurrent systems by deductive model checking Journal of Logical and Algebraic Methods in Programming | 2026-03-09 | Paper |
| An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
| Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method | 2022-12-07 | Paper |
Research outcomes over time
This page was built for person: Raúl López-Rueda
