-
2
-
-
35448991667
-
Ranking abstraction of recursive programs
-
I. Balaban, A. Cohen, and A. Pnueli. Ranking abstraction of recursive programs. In VMCAI'06: Verification, Model Checking, and Abstract Interpretation, 2006.
-
(2006)
VMCAI'06: Verification, Model Checking, and Abstract Interpretation
-
-
Balaban, I.1
Cohen, A.2
Pnueli, A.3
-
4
-
-
34548238679
-
Variance analyses from invariance analyses
-
J. Berdine, A. Chawdhary, B. Cook, D. Distefano, and P. O'Hearn. Variance analyses from invariance analyses. In POPL'07: Principles of Programming Languages, 2007.
-
(2007)
POPL'07: Principles of Programming Languages
-
-
Berdine, J.1
Chawdhary, A.2
Cook, B.3
Distefano, D.4
O'Hearn, P.5
-
7
-
-
0038039865
-
A static analyzer for large safety-critical software
-
B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. A static analyzer for large safety-critical software. In PLDI'03: Programming Language Design and Implementation, 2003.
-
(2003)
PLDI'03: Programming Language Design and Implementation
-
-
Blanchet, B.1
Cousot, P.2
Cousot, R.3
Feret, J.4
Mauborgne, L.5
Miné, A.6
Monniaux, D.7
Rival, X.8
-
8
-
-
33749842015
-
Programs with lists are counter automata
-
A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro, and T. Vojnar. Programs with lists are counter automata. In CAV'06: International Conference on Computer Aided Verification, 2006.
-
(2006)
CAV'06: International Conference on Computer Aided Verification
-
-
Bouajjani, A.1
Bozga, M.2
Habermehl, P.3
Iosif, R.4
Moro, P.5
Vojnar, T.6
-
12
-
-
33846513987
-
Termination of polynomial programs
-
A. Bradley, Z. Manna, and H. Sipma. Termination of polynomial programs. In VMCAI'05: Verification, Model Checking, and Abstract Interpretation, 2005.
-
(2005)
VMCAI'05: Verification, Model Checking, and Abstract Interpretation
-
-
Bradley, A.1
Manna, Z.2
Sipma, H.3
-
13
-
-
4444251518
-
Efficient verification of sequential and concurrent C programs
-
S. Chaki, E. M. Clarke, J. Ouaknine, N. Sharygia, and N. Sinha. Efficient verification of sequential and concurrent C programs. Formal Methods in System Design, 25(2-3):129-166, 2004.
-
(2004)
Formal Methods in System Design
, vol.25
, Issue.2-3
, pp. 129-166
-
-
Chaki, S.1
Clarke, E.M.2
Ouaknine, J.3
Sharygia, N.4
Sinha, N.5
-
15
-
-
38149097206
-
Environment abstraction for parameterized verification
-
E. M. Clarke, M. Talupur, and H. Veith. Environment abstraction for parameterized verification. In VMCAI'06: Verification, Model Checking, and Abstract Interpretation, 2006.
-
(2006)
VMCAI'06: Verification, Model Checking, and Abstract Interpretation
-
-
Clarke, E.M.1
Talupur, M.2
Veith, H.3
-
17
-
-
0032678119
-
A semantic basis for the termination analysis of logic programs
-
M. Codish and C. Taboch. A semantic basis for the termination analysis of logic programs. The Journal of Logic Programming, 41(1):103-123, 1999.
-
(1999)
The Journal of Logic Programming
, vol.41
, Issue.1
, pp. 103-123
-
-
Codish, M.1
Taboch, C.2
-
20
-
-
35448992465
-
Proving that software eventually does something good
-
B. Cook, A. Gotsman, A. Podelski, A. Rybalchenko, and M. Vardi. Proving that software eventually does something good. In POPL'07: Principles of Programming Languages, 2007.
-
(2007)
POPL'07: Principles of Programming Languages
-
-
Cook, B.1
Gotsman, A.2
Podelski, A.3
Rybalchenko, A.4
Vardi, M.5
-
22
-
-
33646004081
-
Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming
-
P. Cousot. Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming. In VMCAI'05: Verification, Model Checking, and Abstract Interpretation, 2005.
-
(2005)
VMCAI'05: Verification, Model Checking, and Abstract Interpretation
-
-
Cousot, P.1
-
24
-
-
18544387152
-
Modular verification of multithreaded programs
-
C. Flanagan, S. N. Freund, S. Qadeer, and S. A. Seshia. Modular verification of multithreaded programs. Journal on Theoretical Computer Science, 338(1-3):153-183, 2005.
-
(2005)
Journal on Theoretical Computer Science
, vol.338
, Issue.1-3
, pp. 153-183
-
-
Flanagan, C.1
Freund, S.N.2
Qadeer, S.3
Seshia, S.A.4
-
26
-
-
1442283580
-
Thread-modular model checking
-
C. Flanagan and S. Qadeer. Thread-modular model checking. In SPIN'03, 2003.
-
(2003)
SPIN'03
-
-
Flanagan, C.1
Qadeer, S.2
-
33
-
-
0020929268
-
Specification and design of (parallel) programs
-
C. Jones. Specification and design of (parallel) programs. In IFIP Congress, 1983.
-
(1983)
IFIP Congress
-
-
Jones, C.1
-
35
-
-
0016592810
-
Reduction: A method of proving properties of parallel programs
-
R. J. Lipton. Reduction: a method of proving properties of parallel programs. Communications of the ACM, 18(12):717-721, 1975.
-
(1975)
Communications of the ACM
, vol.18
, Issue.12
, pp. 717-721
-
-
Lipton, R.J.1
-
36
-
-
0015960562
-
Axiomatic approach to total correctness of programs
-
Z. Manna and A. Pnueli. Axiomatic approach to total correctness of programs. Acta Informatica, 1974.
-
(1974)
Acta Informatica
-
-
Manna, Z.1
Pnueli, A.2
|