Decoupling synchronization from local control for efficient symbolic model checking of statecharts

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1999, Pages 142-151

  Chan, William ^a   Anderson, Richard J ^a   Beame, Paul ^a   Jones, David H ^a   Notkin, David ^a   Warner, William E ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; DECISION THEORY; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LANGUAGES; MATHEMATICAL MODELS; SYNCHRONIZATION;

DECOUPLING SYNCHRONIZATION; SYMBOLIC MODEL CHECKING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032640840     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/302405.302460     Document Type: Article

References (20)