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]
Abstract is missing.