External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

CoqCryptoLine: A Verified Model Checker with Certified Results

Ming-Hsien Tsai 0001, Yu-Fu Fu, Jiaxiang Liu 0001, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang. CoqCryptoLine: A Verified Model Checker with Certified Results. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. Volume 13965 of Lecture Notes in Computer Science, pages 227-240, Springer, 2023. [doi]

Authors

Ming-Hsien Tsai 0001

This author has not been identified. Look up 'Ming-Hsien Tsai 0001' in Google

Yu-Fu Fu

This author has not been identified. Look up 'Yu-Fu Fu' in Google

Jiaxiang Liu 0001

This author has not been identified. Look up 'Jiaxiang Liu 0001' in Google

Xiaomu Shi

This author has not been identified. Look up 'Xiaomu Shi' in Google

Bow-Yaw Wang

This author has not been identified. It may be one of the following persons: Look up 'Bow-Yaw Wang' in Google

Bo-Yin Yang

This author has not been identified. Look up 'Bo-Yin Yang' in Google
runs on