Program Analysis as Model Checking of Abstract Interpretations

D Schmidt, B Steffen - International Static Analysis Symposium, 1998 - Springer
This paper presents a collection of techniques, a methodology, in which abstract
interpretation, flow analysis, and model checking are employed in the representation …
被引用次数：179 相关文章

Program Analysis as Model Checking of Abstract Interpretations

D Schmidt, B Steffen - Static Analysis - infona.pl
This paper presents a collection of techniques, a methodology, in which abstract
interpretation, flow analysis, and model checking are employed in the representation …

[引用][C] Program analysis as model checking of abstract interpretations

D SCHMIDT, B STEFFEN - Lecture notes in computer science, 1998 - pascal-francis.inist.fr
Program analysis as model checking of abstract interpretations CNRS Inist Pascal-Francis
CNRS Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …

Program Analysis as Model Checking of Abstract Interpretations

D Schmidt, B Steffen - Lecture Notes in Computer Science (см. в книгах), 1998 - elibrary.ru
This paper presents a collection of techniques, a methodology, in which abstract
interpretation, flow analysis, and model checking are employed in the representation …

[引用][C] Program analysis as model checking of abstract interpretations

D SCHMIDT - Static Analysis, 1998 - cir.nii.ac.jp

[引用][C] Program Analysis as Model Checking of Abstract Interpretations

D SCHMIDT - Static Analysis, 1998 - cir.nii.ac.jp
Program Analysis as Model Checking of Abstract Interpretations | CiNii Research CiNii 国立
情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす …

[引用][C] Program Analysis as Model Checking of Abstract Interpretations

D Schmidt, B Steffen - Static Analysis, 1998 - Springer

[引用][C] Program analysis as model checking of abstract interpretations

D SCHMIDT, B STEFFEN - Lecture notes in computer science, 1998 - Springer