CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

von Riesco, Adrián
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

Formal methods and software engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022 : proceedings

Veröffentlicht 2022

Parallel Maude-NPA for Cryptographic Protocol Analysis

von Do, Canh Minh
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)