Contents of Report

[Data of Report]

Report Number:: TM1278
Date of Registration:: 1993.08
English Title:: ***
Japanese Title:: 情報処理学会第47回全国大会論文集;モデル生成型証明器によるFGHCのモード解析
English Author:: M.Koshimura,R.Hasegawa
Japanese:: 越村　三幸,長谷川　隆三
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tm1278.pdf

[Contents]

1	はじめに	.... 3
2	モデル生成型証明器MGTP	.... 3
3	FGHCモード解析	.... 3
4	MGTP上のモード解析器	.... 4
5	おわりに	.... 4
	参考文献	.... 4
	End	.... 10

目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda