Compositional reachability analysis of finite-state distributed systems with user-specified constraints

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 1995, Pages 140-150

  Cheung, S C ^a   Kramer, J ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; ERROR CORRECTION; ERROR DETECTION; FINITE AUTOMATA; MATHEMATICAL MODELS;

COMPOSITIONAL REACHABILITY ANALYSIS; USER SPECIFIED CONSTRAINTS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0029457562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/222132.222149     Document Type: Conference Paper

References (17)