AUTOMATA-THEORETIC APPROACH TO AUTOMATIC PROGRAM VERIFICATION.

Volumn , Issue , 1986, Pages 332-344

  Vardi, Moshe Y ^a   Wolper, Pierre ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS; COMPUTER SOFTWARE - EVALUATION; PROBABILITY;

AUTOMATIC PROGRAM VERIFICATION; FINITE STATE PROGRAMS; TABLEAUX METHODS;

AUTOMATA THEORY;

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

References (46)