フォーマル検証

【図2　フォーマル検証手法の例】OBDD（ordered binary decision diagram）を利用している。出典はNECエレクトロニクス。
【図2　フォーマル検証手法の例】OBDD（ordered binary decision diagram）を利用している。出典はNECエレクトロニクス。

カーソルキー（←／→）でも操作できます