Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/12/01
Vol. E90-A
No. 12
pp. 2985-2988
Type of Manuscript: LETTER
Category: Concurrent Systems
Keyword:
Coq,
formal methods,
invariant properties,
program specification,
observational transition systems (OTSs),
|
