Certified verification for algebraic abstraction

DOI10.1007/978-3-031-37709-9_16zbMath1547.68456MaRDI QIDQ6535691

Ming-Hsien Tsai, Jiaxiang Liu, Bo-Yin Yang, Bow-Yaw Wang, Xiaomu Shi, Yu-Fu Fu

Publication date: 1 February 2024

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Certified verification for algebraic abstraction