Formal Verification and Code-Generation of Mersenne-Twister Algorithm. - Takafumi Saikawa; Kazunari Tanaka; Kensaku Tanaka (ISITA, 2020)