エドムンド・クラーク

エドムンド・クラークとは

エドムンド・メルソン・クラーク・ジュニア（Edmund Melson Clarke, Jr.、1945年7月27日 - ）は、ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ エドムンド・クラークの改定履歴 ]