Verifying Design with Proof Scores Kokichi FUTATSUGI1 , Joseph A. GOGUEN2 , and Kazuhiro OGATA3 1 Japan Advanced Institute of Science and Technology (JAIST)

First Page		Document Content
Date: 2005-10-11 03:37:04		Verifying Design with Proof Scores Kokichi FUTATSUGI1 , Joseph A. GOGUEN2 , and Kazuhiro OGATA3 1 Japan Advanced Institute of Science and Technology (JAIST) Add to Reading List Source URL: vstte.ethz.ch Download Document from Source Website File Size: 118,13 KB Share Document on Facebook