Takuo Tsuchiya

Learn More
This paper addresses the problem of verifying integrated services of home network systems which consist of one or more home appliances. Specifically, an approach is proposed that uses the SPIN model checker to verify integrated services automatically and exhaustively. The proposed approach encompasses a method for automatically translating integrated(More)
  • 1