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), |