A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution

Thi Thu Ha Doan ✉; Thiemann, Peter

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: Kiselyov O.. Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. (2025) ISBN:9789819789429 pp. 305-324
    Azonosítók
    Idézett közlemények (1)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2026-01-21 17:34