Static analysis by abstract interpr

Static analysis by abstract interpretation

Verification: define and prove automatically a property of
the possible behaviors of a complex computer pro-
gram (example: program semantics);

Abstraction: the reasoning/calculus can be done on an ab-
straction of these behaviors dealing only with those
elements of the behaviors related to the considered
property;

Theory: abstract interpretation.

VMCAI’05 Industrial Day, Paris, France, January 20, 2005 — 4 — P. Cousot

Kết quả (Việt) 1:

Tĩnh phaân tích cuûa phaân trừu tượng giải thích Verification: define và chứng minh tự động một tài sản của những hành vi có thể của một máy tính phức tạp pro- gam (ví dụ: chương trình ngữ nghĩa); Trừu tượng: lý do/tính toán có thể được thực hiện trên một ab- straction của các hành vi giao dịch chỉ với những người Các yếu tố hành vi liên quan đến các được coi là bất động sản; Lý thuyết: giải thích trừu tượng. VMCAI'05 công nghiệp ngày, 20-1-2005, Paris, Pháp-4-P. Cousot

Kết quả (Việt) 2:

Phân tích tĩnh bằng cách giải thích trừu tượng VERI fi cation: ne fi de và chứng minh tự động một tài sản của các hành vi có thể của một máy tính phức tạp trình gram (ví dụ: ngữ nghĩa chương trình); Abstraction: lý do / tính toán có thể được thực hiện trên một ab- khai thác nước ngầm của những hành vi này chỉ giao dịch với những yếu tố của các hành vi liên quan đến việc xem xét tài sản; Lý thuyết: giải thích trừu tượng. Ngày VMCAI'05 công nghiệp, Paris, Pháp, January 20, 2005 - 4 - P. Cousot