先日のプロトコル合成の方式は、定式化にはほど遠いが、実務上は用をなした。しかし結果は、現状とそんなに差がないので、仕掛けを講じた割に出てきたせいかは小さいきがする。そんなもんかなあと少しへこむ。ところでモデルチェッキング本 の著者でもある D…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。