Formal Verification and Code-Generation of Mersenne-Twister Algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takafumi Saikawa, Kazunari Tanaka, Kensaku Tanaka. Formal Verification and Code-Generation of Mersenne-Twister Algorithm. In International Symposium on Information Theory and Its Applications, ISITA 2020, Kapolei, HI, USA, October 24-27, 2020. pages 607-611, IEEE, 2020. [doi]

This author has not been identified. Look up 'Takafumi Saikawa' in GoogleThis author has not been identified. Look up 'Kazunari Tanaka' in GoogleThis author has not been identified. Look up 'Kensaku Tanaka' in Google

runs on WebDSL