並行アルゴリズムをテストする特定の目的を持つプログラミング言語は何ですか？

Question

私の同僚は、不要な状態を引き起こす可能性のあるシーケンスを見つけようとする複数の並列スレッドを実行しているアルゴリズムをテストした後、いくつかの条件が満たされないことを証明するプログラムを作成しました。彼はこの目的のために設計されたコンピュータ言語を使用しましたが、その名前は覚えていません。この特定の目的に役立つ言語は何ですか？

Answer 1

スピンは世界中の何千人もの人々が で使用している一般的なオープンソースのソフトウェア検証ツールです。このツールは、マルチスレッドソフトウェアアプリケーションの正式版 の検証に使用できます。このツールは、コンピューティングサイエンス リサーチセンターのUnixグループのベル研究所で開発された でした。このソフトウェアは、1991年以来自由に利用可能な であり、新しい 開発に合わせて進化し続けています。 2002年4月、ツールはACMシステム ソフトウェア賞を受賞しました。

http://spinroot.com/spin/whatispin.html