-
1
-
-
34548080326
-
Grids: A domain for analyzing the distribution of numerical values
-
Puebla, G, ed, LOPSTR 2006, Springer, Heidelberg
-
Bagnara, R., Dobson, K., Hill, P.M., Mundell, M., Zaffanella, E.: Grids: A domain for analyzing the distribution of numerical values. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol. 4407, pp. 219-235. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4407
, pp. 219-235
-
-
Bagnara, R.1
Dobson, K.2
Hill, P.M.3
Mundell, M.4
Zaffanella, E.5
-
2
-
-
35048861896
-
A tool for checking ANSI-C programs
-
Jensen, K, Podelski, A, eds, TACAS 2004, Springer, Heidelberg
-
Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168-176. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2988
, pp. 168-176
-
-
Clarke, E.1
Kroening, D.2
Lerda, F.3
-
3
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
-
ACM, New York
-
Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Principles of Programming Languages, pp. 238-252. ACM, New York (1977)
-
(1977)
Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
4
-
-
84947441305
-
-
Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, 1254, pp. 72-83. Springer, Heidelberg (1997)
-
Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 72-83. Springer, Heidelberg (1997)
-
-
-
-
5
-
-
85030149781
-
Static analyses of linear congruence equalities among variables of a program
-
Abramsky, S, ed, TAPSOFT 1991, Springer, Heidelberg
-
Granger, P.: Static analyses of linear congruence equalities among variables of a program. In: Abramsky, S. (ed.) TAPSOFT 1991. LNCS, vol. 493, pp. 167-192. Springer, Heidelberg (1991)
-
(1991)
LNCS
, vol.493
, pp. 167-192
-
-
Granger, P.1
-
6
-
-
71549151649
-
Logahedra: A new weakly relational domain
-
Liu, Z, Ravn, A.P, eds, Automated Technology for Verification and Analysis, Springer, Heidelberg
-
Howe, J.M., King, A.: Logahedra: A new weakly relational domain. In: Liu, Z., Ravn, A.P. (eds.) Automated Technology for Verification and Analysis. LNCS, vol. 5799, pp. 306-320. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5799
, pp. 306-320
-
-
Howe, J.M.1
King, A.2
-
8
-
-
48949104409
-
-
King, A., Søndergaard, H.: Inferring congruence equations using SAT. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, 5123, pp. 281-293. Springer, Heidelberg (2008)
-
King, A., Søndergaard, H.: Inferring congruence equations using SAT. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 281-293. Springer, Heidelberg (2008)
-
-
-
-
9
-
-
58449099696
-
Subpolyhedra: A (more) scalable approach to infer linear inequalities
-
Jones, N.D, Müller-Olm, M, eds, VMCAI 2009, Springer, Heidelberg
-
Laviron, V., Logozzo, F.: Subpolyhedra: A (more) scalable approach to infer linear inequalities. In: Jones, N.D., Müller-Olm, M. (eds.) VMCAI 2009. LNCS, vol. 5403, pp. 229-244. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5403
, pp. 229-244
-
-
Laviron, V.1
Logozzo, F.2
-
10
-
-
67649859656
-
Automatic modular abstractions for linear constraints
-
ACM, New York
-
Monniaux, D.: Automatic modular abstractions for linear constraints. In: Principles of Programming Languages, pp. 140-151. ACM, New York (2009)
-
(2009)
Principles of Programming Languages
, pp. 140-151
-
-
Monniaux, D.1
-
11
-
-
34548380503
-
Analysis of modular arithmetic
-
article, August
-
Müller-Olm, M., Seidl, H.: Analysis of modular arithmetic. ACM Transactions on Programming Languages and Systems, article 29, 29(5) (August 2007)
-
(2007)
ACM Transactions on Programming Languages and Systems
, vol.29
, Issue.5
, pp. 29
-
-
Müller-Olm, M.1
Seidl, H.2
-
12
-
-
0019003680
-
Fast decision procedures based on congruence closure
-
Nelson, G., Oppen, D.C.: Fast decision procedures based on congruence closure. Journal of the ACM 27(2), 356-364 (1980)
-
(1980)
Journal of the ACM
, vol.27
, Issue.2
, pp. 356-364
-
-
Nelson, G.1
Oppen, D.C.2
-
13
-
-
84944221600
-
Symbolic implementation of the best transformer
-
Steffen, B, Levi, G, eds, VMCAI 2004, Springer, Heidelberg
-
Reps, T., Sagiv, M., Yorsh, G.: Symbolic implementation of the best transformer. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 252-266. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2937
, pp. 252-266
-
-
Reps, T.1
Sagiv, M.2
Yorsh, G.3
-
14
-
-
24144461197
-
Scalable analysis of linear systems using mathematical programming
-
Cousot, R, ed, VMCAI 2005, Springer, Heidelberg
-
Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Scalable analysis of linear systems using mathematical programming. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 25-41. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3385
, pp. 25-41
-
-
Sankaranarayanan, S.1
Sipma, H.B.2
Manna, Z.3
-
15
-
-
33646038616
-
-
Simon, A., King, A.: Exploiting sparsity in polyhedral analysis. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, 3672, pp. 336-351. Springer, Heidelberg (2005)
-
Simon, A., King, A.: Exploiting sparsity in polyhedral analysis. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol. 3672, pp. 336-351. Springer, Heidelberg (2005)
-
-
-
|