type-safety - デュースSTM型は安全ですか？

Question

並列プロセスを管理するためにDeuce STMを利用する円周率計算用のJavaライブラリを作成しました。 さらに、ライブラリの型安全性を証明したいと考えています。 Deuce STM ライブラリは型安全ですか? はいの場合、同じリンクをいくつかいただければ幸いです。