-
1
-
-
24144470812
-
Shape analysis by predicate abstraction
-
LNCS 3385. Springer
-
I. Balaban, A. Pnueli, and L.D. Zuck. Shape analysis by predicate abstraction. In Proc. VMCAI, LNCS 3385, pages 164-180. Springer, 2005.
-
(2005)
Proc. VMCAI
, pp. 164-180
-
-
Balaban, I.1
Pnueli, A.2
Zuck, L.D.3
-
2
-
-
0036039066
-
The SLAM project: Debugging system software via static analysis
-
ACM
-
T. Ball and S.K. Rajamani. The SLAM project: Debugging system software via static analysis. In Proc. POPL, pages 1-3. ACM, 2002.
-
(2002)
Proc. POPL
, pp. 1-3
-
-
Ball, T.1
Rajamani, S.K.2
-
4
-
-
3042666526
-
Modular verification of software components in C
-
S. Chaki, E.M. Clarke, A. Groce, S. Jha, and H. Veith, Modular verification of software components in C. IEEE Trans. Software Eng., 30(6):388-402, 2004.
-
(2004)
IEEE Trans. Software Eng.
, vol.30
, Issue.6
, pp. 388-402
-
-
Chaki, S.1
Clarke, E.M.2
Groce, A.3
Jha, S.4
Veith, H.5
-
5
-
-
0025444591
-
Analysis of pointers and structures
-
ACM
-
D.R. Chase, M.N. Wegman, and F.K. Zadeck. Analysis of pointers and structures. In Proc. PLDI, pages 296-310. ACM, 1990.
-
(1990)
Proc. PLDI
, pp. 296-310
-
-
Chase, D.R.1
Wegman, M.N.2
Zadeck, F.K.3
-
6
-
-
84944406286
-
Counterexample-guided abstraction refinement
-
LNCS 1855. Springer
-
E.M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided abstraction refinement. In Proc. CAV, LNCS 1855, pages 154-169. Springer, 2000.
-
(2000)
Proc. CAV
, pp. 154-169
-
-
Clarke, E.M.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
7
-
-
35248848251
-
Shape analysis through predicate abstraction and model checking
-
LNCS 2575. Springer
-
D. Dams and K.S. Namjoshi. Shape analysis through predicate abstraction and model checking. In Proc. VMCAI, LNCS 2575, pages 310-324. Springer, 2003.
-
(2003)
Proc. VMCAI
, pp. 310-324
-
-
Dams, D.1
Namjoshi, K.S.2
-
8
-
-
32344451326
-
Joining data flow with predicates
-
ACM
-
J. Fischer, R. Jhala, and R. Majumdar. Joining data flow with predicates. In Proc. FSE, pages 227-236. ACM, 2005.
-
(2005)
Proc. FSE
, pp. 227-236
-
-
Fischer, J.1
Jhala, R.2
Majumdar, R.3
-
9
-
-
17044425453
-
A framework for numeric analysis of array operations
-
ACM
-
D. Gopan, T.W. Reps, and M. Sagiv. A framework for numeric analysis of array operations. In Proc. POPL, pages 338-350. ACM, 2005.
-
(2005)
Proc. POPL
, pp. 338-350
-
-
Gopan, D.1
Reps, T.W.2
Sagiv, M.3
-
10
-
-
33745794069
-
Counterexample-driven refinement for abstract interpretation
-
LNCS 3920. Springer
-
B.S. Gulavani and S.K. Rajamani. Counterexample-driven refinement for abstract interpretation. In Proc. TACAS, LNCS 3920, pages 474-488. Springer, 2006.
-
(2006)
Proc. TACAS
, pp. 474-488
-
-
Gulavani, B.S.1
Rajamani, S.K.2
-
11
-
-
2442623463
-
Abstractions from proofs
-
ACM
-
T.A. Henzinger, R. Jhala, R. Majumdar, and K.L. McMillan. Abstractions from proofs. In Proc. POPL, pages 232-244. ACM, 2004.
-
(2004)
Proc. POPL
, pp. 232-244
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
McMillan, K.L.4
-
12
-
-
0036041563
-
Lazy abstraction
-
ACM
-
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proc. POPL, pages 58-70. ACM, 2002.
-
(2002)
Proc. POPL
, pp. 58-70
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
13
-
-
85051014774
-
A flexible approach to interprocedural data-flow analysis and programs with recursive data structures
-
ACM
-
N.D. Jones and S.S. Muchnick. A flexible approach to interprocedural data-flow analysis and programs with recursive data structures. In Proc. POPL, pages 66-74. ACM, 1982.
-
(1982)
Proc. POPL
, pp. 66-74
-
-
Jones, N.D.1
Muchnick, S.S.2
-
15
-
-
0034593015
-
Putting static analysis to work for verification: A case study
-
ACM
-
T. Lev-Ami, T.W. Reps, M. Sagiv, and R. Wilhelm. Putting static analysis to work for verification: A case study. In Proc. ISSTA, pages 26-38. ACM, 2000.
-
(2000)
Proc. ISSTA
, pp. 26-38
-
-
Lev-Ami, T.1
Reps, T.W.2
Sagiv, M.3
Wilhelm, R.4
-
16
-
-
84906086021
-
TVLA: A system for implementing static analyses
-
LNCS 2280. Springer
-
T. Lev-Ami and M. Sagiv. TVLA: A system for implementing static analyses. In Proc. SAS, LNCS 2280, pages 280-301. Springer, 2000.
-
(2000)
Proc. SAS
, pp. 280-301
-
-
Lev-Ami, T.1
Sagiv, M.2
-
17
-
-
26444527350
-
Abstraction refinement via inductive learning
-
LNCS 3576. Springer
-
A. Loginov, T.W. Reps, and M. Sagiv. Abstraction refinement via inductive learning, In Proc. CAV, LNCS 3576, pages 519-533. Springer, 2005.
-
(2005)
Proc. CAV
, pp. 519-533
-
-
Loginov, A.1
Reps, T.W.2
Sagiv, M.3
-
18
-
-
33745162025
-
Interpolation and SAT-based model checking
-
LNCS 2725. Springer
-
K.L. McMillan. Interpolation and SAT-based model checking. In Proc. CAV, LNCS 2725, pages 1-13. Springer, 2003.
-
(2003)
Proc. CAV
, pp. 1-13
-
-
McMillan, K.L.1
-
19
-
-
0039488517
-
Parametric shape analysis via three-valued logic
-
M. Sagiv, T.W. Reps, and R. Wilhelm. Parametric shape analysis via three-valued logic. ACM Trans. Program. Lang. Syst., 24(3):217-298, 2002.
-
(2002)
ACM Trans. Program. Lang. Syst.
, vol.24
, Issue.3
, pp. 217-298
-
-
Sagiv, M.1
Reps, T.W.2
Wilhelm, R.3
|