Automatic verification of parameterized linear networks of processes

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1997, Pages 346-357

  Lesens, David ^a   Halbwachs, Nicolas ^a   Raymond, Pascal ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; HEURISTIC METHODS; PROBLEM SOLVING; SET THEORY;

CUOSOT WIDENING TECHNIQUE; PARAMETERIZED LINEAR NETWORKS;

PROGRAMMING THEORY;

EID: 0030646119     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263747     Document Type: Conference Paper

References (19)