プログラム loupe.sf.net

Bogor-PubSub は、発行-サブスクライブ インフラストラクチャの正確な自動検証を可能にする Bogor モデル チェッカーの拡張機能のセットです。