By Topic

Formal methods for the specification and verification of distributed systems

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.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
S. V. Fialho ; Programa de Engenharia Eletrica, COPP, Univ. federal do Rio De Janeiro, Brazil ; J. L. S. Leao ; A. C. P. Pedroza

A methodology for specifying and verifying distributed systems is presented. The proposed approach, relying on heuristic search techniques for the verification of specifications written in the CRIS language, has been implemented in an automated verification tool prototype. The tool features deal with the acquisition of heuristic information on the specification objects for driving the partial reachability graph generation, and they make it possible to observe the systems internal behavior. First results on the applicability of this approach to a flexible assembly cell are presented and discussed

Published in:

Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on  (Volume:2 )

Date of Conference:

10-13 May 1992