Keyword : theorem proving

Verifying Trace Equivalence of a Shared-Memory-Style Communication System
Yoshinobu KAWABE Ken MANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Vol. E88-A  No. 4 ; pp. 915-922
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
I/O-automatontrace equivalencetheorem proving
 Summary | Full Text:PDF