-
2
-
-
24644492502
-
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking
-
Proc. of TACAS'05, Springer
-
A. Bouajjani, P. Habermehl, P. Moro, and T. Vojnar Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking Proc. of TACAS'05 LNCS 3440 2005 Springer
-
(2005)
LNCS
, vol.3440
-
-
Bouajjani, A.1
Habermehl, P.2
Moro, P.3
Vojnar, T.4
-
3
-
-
35048901593
-
Abstract Regular Model Checking
-
Proc. of CAV'04, Springer
-
A. Bouajjani, P. Habermehl, and T. Vojnar Abstract Regular Model Checking Proc. of CAV'04 LNCS volume 3114 2004 Springer
-
(2004)
LNCS
, vol.3114
-
-
Bouajjani, A.1
Habermehl, P.2
Vojnar, T.3
-
4
-
-
0027961596
-
Interprocedural May-Alias Analysis for Pointers: Beyond k-Limiting
-
ACM Press
-
A. Deutsch Interprocedural May-Alias Analysis for Pointers: Beyond k-Limiting Proc. of PLDI'94 1994 ACM Press
-
(1994)
Proc. of PLDI'94
-
-
Deutsch, A.1
-
5
-
-
24644512232
-
Verification via Structure Simulation
-
Proc. of CAV'04, Springer
-
N. Immerman, A. Rabinovich, T. Reps, M. Sagiv, and G. Yorsh Verification via Structure Simulation Proc. of CAV'04 LNCS 3114 2004 Springer
-
(2004)
LNCS
, vol.3114
-
-
Immerman, N.1
Rabinovich, A.2
Reps, T.3
Sagiv, M.4
Yorsh, G.5
-
7
-
-
24644443912
-
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
-
Proc. of ESOP'05, Springer
-
O. Lee, H. Yang, and K. Yi Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis Proc. of ESOP'05 LNCS 3444 2005 Springer
-
(2005)
LNCS
, vol.3444
-
-
Lee, O.1
Yang, H.2
Yi, K.3
-
8
-
-
30344470030
-
Abstraction refinement via inductive learning
-
To appear
-
A. Loginov, T. Reps, and M. Sagiv. Abstraction Refinement via Inductive Learning. To appear in Proc. of CAV'05, 2005
-
(2005)
Proc. of CAV'05
-
-
Loginov, A.1
Reps, T.2
Sagiv, M.3
-
9
-
-
0003505081
-
-
BRIC Department of Computer Science, University of Aarhus, Denmark
-
N. Klarlund and A. Møller. MONA Version 1.4 User Manual. BRIC Department of Computer Science, University of Aarhus, Denmark, 2001
-
(2001)
MONA Version 1.4 User Manual
-
-
Klarlund, N.1
Møller, A.2
-
10
-
-
18844435680
-
The Pointer Assertion Logic Engine
-
A. Møller, and M.I. Schwartzbach The Pointer Assertion Logic Engine In Proc. of PLDI '01, 2001. Also in SIGPLAN Notices 36 5 May 2001
-
(2001)
SIGPLAN Notices
, vol.36
, Issue.5
-
-
Møller, A.1
Schwartzbach, M.I.2
-
11
-
-
0039488517
-
Parametric Shape Analysis via 3-Valued Logic
-
S. Sagiv, T.W. Reps, and R. Wilhelm Parametric Shape Analysis via 3-Valued Logic TOPLAS 24 3 2002
-
(2002)
TOPLAS
, vol.24
, Issue.3
-
-
Sagiv, S.1
Reps, T.W.2
Wilhelm, R.3
-
12
-
-
0033225337
-
Automatic Analysis of Pointer Aliasing for Untyped Programs
-
A. Venet Automatic Analysis of Pointer Aliasing for Untyped Programs Science of Computer Programming 35 2 1999
-
(1999)
Science of Computer Programming
, vol.35
, Issue.2
-
-
Venet, A.1
-
13
-
-
35048860374
-
A Scalable Nonuniform Pointer Analysis for Embedded Programs
-
Proc. of SAS'04, Springer
-
A. Venet A Scalable Nonuniform Pointer Analysis for Embedded Programs Proc. of SAS'04 LNCS 3148 2005 Springer
-
(2005)
LNCS
, vol.3148
-
-
Venet, A.1
-
14
-
-
30344446096
-
Automated Verification of Concurrent Linked Lists with Counters
-
Proc. of SAS'02, Springer
-
T. Yavuz-Kahveci, and T. Bultan Automated Verification of Concurrent Linked Lists with Counters Proc. of SAS'02 LNCS 2477 2002 Springer
-
(2002)
LNCS
, vol.2477
-
-
Yavuz-Kahveci, T.1
Bultan, T.2
-
15
-
-
26444472057
-
-
PhD. thesis, Computer Science Department of University of California, Santa Barbara, CA, USA
-
T. Yavuz-Kahveci. Specification and Automated Verification of Concurrent Software Systems. PhD. thesis, Computer Science Department of University of California, Santa Barbara, CA, USA, 2004
-
(2004)
Specification and Automated Verification of Concurrent Software Systems
-
-
Yavuz-Kahveci, T.1
|