Safelogic-Monitor/Verifier

	■ 分類
	電子回路シミュレータ

	■ 概要
	フォーマル・プロパティ(PSL言語）設計検証ツール

	■ アドレス
	http://www-cad.ntt-at.co.jp/product/product_index.html 公式サイト

■ 関連書籍