Verification Engineerの戯言 とにかく、下記のURLのチェックしてみてください。 http://www.diva-portal.org/liu/abstract.xsql?dbid=7682 とはいっても、Abstractは、スウェーデン語で書いてあるのでたぶん、わからないと思いますが、 そこで、上の方にあ…