Interface grammars for modular software model checking

2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07

Volumn , Issue , 2007, Pages 39-49

  Hughes, Graham ^a   Bultan, Tevfik ^a  

^a UNIVERSITY OF CALIFORNIA

Author keywords

Interface grammars; Model checking; Modular verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MODEL CHECKING; SEMANTICS; SOFTWARE ENGINEERING; USER INTERFACES;

CALL SEQUENCES; INTERFACE GRAMMARS; MODULAR VERIFICATION;

COMPUTATIONAL GRAMMARS;

EID: 34548225139     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1273463.1273471     Document Type: Article

References (0)