By Topic

Modeling and verification of distributed real-time systems based on CafeOBJ

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
K. Ogata ; Graduate Sch. of Inf. Sci., JAIST, Ishikawa, Japan ; K. Futatsugi

CafeOBJ is a wide spectrum formal specification language based on multiple logical foundations: mainly initial and hidden algebra. A wide range of systems can be specified in CafeOBJ thanks to its multiple logical foundations. However, distributed real-time systems happen to be excluded from targets of CafeOBJ. The authors propose a method of modeling and verifying such systems based on CafeOBJ, together with timed evolution of UNITY computational models.

Published in:

Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on

Date of Conference:

26-29 Nov. 2001