It does have a specification: https://github.com/ferrocene/specification https://github.com/ferrocene/specification It also strikes me as extraordinarily unlik

It does have a specification: https://github.com/ferrocene/specification https://github.com/ferrocene/specification It also strikes me as extraordinarily unlikely that any formal verification effort will use the existing specification, and not build their own (using their own formal language) as they go.