Keyword : observational transition systems (OTSs)

Proof Score Approach to Verification of Liveness Properties
Kazuhiro OGATA  Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/12/01
Vol. E91-D  No. 12  pp. 2804-2817
Type of Manuscript: PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
CafeOBJ,  equations,  observational transition systems (OTSs),  rewriting,  specification, 
  Summary |  Full Text:PDF (260.4KB)
State Machines as Inductive Types
Kazuhiro OGATA  Kokichi FUTATSUGI 
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), 
  Summary |  Full Text:PDF (80.6KB)