Mercurial > hg > Papers > 2008 > atsuki-master
changeset 26:3a8e2059e713
*** empty log message ***
| author | atsuki |
|---|---|
| date | Thu, 21 Feb 2008 07:18:44 +0900 |
| parents | e9e64f24de9b |
| children | c1ef5abc2bb7 |
| files | paper/chapter4.tex |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/chapter4.tex Wed Feb 20 22:56:27 2008 +0900 +++ b/paper/chapter4.tex Thu Feb 21 07:18:44 2008 +0900 @@ -268,7 +268,7 @@ 検証系を生成する。したがって、PROMELAのような別な言語に 変換する必要はない。それは、つまり、新しい言語を習得する 必要がないということである。CbC言語は、Cのサブセットなので、 -Cを理解しているプログラマには用意に理解できる。これは +Cを理解しているプログラマには容易に理解できる。これは CbCによる検証の利点である。 [同期の抽象度]