Checking subsystem safety properties in compositional reachability analysis

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1995, Pages 144-154

  Cheung, Shing C ^a   Kramer, Jeff ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; FINITE AUTOMATA; HIERARCHICAL SYSTEMS; RELIABILITY;

COMPOSITIONAL REACHABILITY ANALYSIS; SAFETY PROPERTIES; SOFTWARE ARCHITECTURE; SUBSYSTEM;

COMPUTER SOFTWARE;

EID: 0029518579     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)