Whirlpool算法被列入了ISO标准。主要原因是因为其强大的安全度。第一点，Whirlpool使用了和AES加密标准相同的转化技术，只不过，AES使用的模函数为：f(x) = x^8 + x^4 + x^3 + x + 1, 即0x11B；而Whirlpool使用的是：f(x) = x^8 + x^4 + x^3 + x^2 + 1, 即0x11D。第二点，Whirlpool的输出是512位的。为了加快计算速度，Whirlpool使用的所有表格都已经时间计算好了。Whirlpool在历史上

在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton