Contents of Report
[Data of Report]
Report Number:
TM0990
Date of Registration:
1991.01
English Title:
On Parallel Theorem Prover for Temporal Logic
Japanese Title:
時相論理証明器の並列化について
English Author:
K.Matsumoto,S.Honiden
Japanese:
松本 一教,本位田 真一
Name of Organization to which author belongs:
TOSHIBA,TOSHIBA
PDF:
tm0990.pdf
[Contents]
概要
.... 2
はじめに
.... 3
1
分岐時間時相論理(Barancing Time Terporal Logic)
.... 3
2
STCL(Simplified CTL)
.... 4
3
stage1に関する実験
.... 5
4
stage2の並列化
.... 6
5
おわりに
.... 7
参考文献
.... 7
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda