プログラム est.sf.net

効率的なシンボリックツールパッケージ(EST)は、同時システムの正式な検証のためのBDDベースのツールです。その利点は、柔軟性、移植性、効率的なメモリ管理です。これは、Linux と Windows 2000/XP を含む、異なる OS で実行されます。