Login / Signup
Formal Verification and Code-Generation of Mersenne-Twister Algorithm.
Takafumi Saikawa
Kazunari Tanaka
Kensaku Tanaka
Published in:
ISITA (2020)
Keyphrases
</>
formal verification
data mining
decision making
learning process