Craig interpolation and reachability analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2694, Issue , 2003, Pages 336-

  McMillan, Ken L ^a  

^a LAWRENCE BERKELEY NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; APPLICATION PROGRAMS; STATIC ANALYSIS; VERIFICATION;

CRAIG INTERPOLATION; IMAGE OPERATORS; INCONSISTENT PAIR; INFINITE STATE; PREDICATE ABSTRACTIONS; REACHABILITY ANALYSIS; SOFTWARE VERIFICATION; SOUND AND COMPLETE;

INTERPOLATION;

EID: 33845191394     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44898-5_18     Document Type: Conference Paper

References (0)