Contents of Report

[Data of Report]

Report Number:: TM0900
Date of Registration:: 1990.08
English Title:: Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic
Japanese Title:: ***
English Author:: N.Uchihira,S.Honiden
Japanese:: ***
Name of Organization to which author belongs:: TOSHIBA,TOSHIBA
PDF:: tm0900.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Preliminaries	.... 2
3	How to Combine a Petri Net and Temporal Logic	.... 4
4	Concurrent Program Verification	.... 6
5	Compositional Program Synthesis	.... 7
6	Conclusion	.... 9
	References	.... 9
	Appendix	.... 9

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