-
1
-
-
31344474744
-
Software model checking using linear constraints
-
ICFEM'04. of, Springer
-
Armando, A., Castellini, C., Mantovani, J.: Software model checking using linear constraints. In: ICFEM'04. Volume 3308 of LNCS., Springer (2004)
-
(2004)
LNCS
, vol.3308
-
-
Armando, A.1
Castellini, C.2
Mantovani, J.3
-
2
-
-
37149025362
-
-
Armando, A., Benerecetti, M., Mantovani, J.: Model checking linear programs with arrays. In: SoftMC'05. 144 of ENTCS., Elsevier (2005)
-
Armando, A., Benerecetti, M., Mantovani, J.: Model checking linear programs with arrays. In: SoftMC'05. Volume 144 of ENTCS., Elsevier (2005)
-
-
-
-
3
-
-
84894630000
-
Automatically validating temporal safety properties of interfaces
-
Springer New York, Inc
-
Ball, T., Rajamani, S.K.: Automatically validating temporal safety properties of interfaces. In: Proc. of SPIN'01, Springer New York, Inc. (2001) 103-122
-
(2001)
Proc. of SPIN'01
, pp. 103-122
-
-
Ball, T.1
Rajamani, S.K.2
-
4
-
-
35248827669
-
Software Verification with Blast
-
Proc. of SPIN '03. of, Springer
-
Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Software Verification with Blast. In: Proc. of SPIN '03. Volume 2648 of LNCS., Springer (2003) 235-239
-
(2003)
LNCS
, vol.2648
, pp. 235-239
-
-
Henzinger, T.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
5
-
-
2442623463
-
Abstractions from proofs
-
New York, NY, USA, ACM Press
-
Henzinger, T.A., Jhala, R., Majumdar, R., McMillan, K.L.: Abstractions from proofs. In: POPL'04, New York, NY, USA, ACM Press (2004) 232-244
-
(2004)
POPL'04
, pp. 232-244
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
McMillan, K.L.4
-
6
-
-
33745777418
-
-
Jhala, R., McMillan, K.L.: A practical and complete approach to predicate refinement. In Hermanns, H., Palsberg, J., eds.: TACAS. 3920 of LNCS., Springer (2006) 459-473
-
Jhala, R., McMillan, K.L.: A practical and complete approach to predicate refinement. In Hermanns, H., Palsberg, J., eds.: TACAS. Volume 3920 of LNCS., Springer (2006) 459-473
-
-
-
-
7
-
-
24644505403
-
SATABS: SAT-based predicate abstraction for ANSI-C In: TACAS'05
-
of, Springer
-
Clarke, E., Kroening, D., Sharygina, N., Yorav, K.: SATABS: SAT-based predicate abstraction for ANSI-C In: TACAS'05. Volume 3440 of LNCS., Springer (2005) 570-4
-
(2005)
LNCS
, vol.3440
, pp. 570-574
-
-
Clarke, E.1
Kroening, D.2
Sharygina, N.3
Yorav, K.4
-
8
-
-
0042134845
-
Behavioral consistency of C and Verilog programs using bounded model checking
-
ACM Press
-
Kroening, D., Clarke, E., Yorav, K.: Behavioral consistency of C and Verilog programs using bounded model checking. In: Proc. of DAC 2003, ACM Press (2003) 368-371
-
(2003)
Proc. of DAC
, pp. 368-371
-
-
Kroening, D.1
Clarke, E.2
Yorav, K.3
-
9
-
-
0004072686
-
-
Addison-Wesley, Reading, MA
-
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA (1986)
-
(1986)
Compilers: Principles, Techniques, and Tools
-
-
Aho, A.V.1
Sethi, R.2
Ullman, J.D.3
-
10
-
-
0029180939
-
Precise interprocedural dataflow analysis via graph reachability
-
95, ACM Press
-
Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: Proc. of POPL '95, ACM Press (1995) 49-61
-
(1995)
Proc. of POPL
, pp. 49-61
-
-
Reps, T.1
Horwitz, S.2
Sagiv, M.3
-
11
-
-
84958767760
-
-
Bagnara, R., Ricci, E., Zaffanella, E., Hill, P.M.: Possibly not closed convex polyhedra and the Parma Polyhedra Library. In Hermenegildo, M.V., Puebla, G., eds.: SAS'02. 2477 of LNCS., Madrid, Spain, Springer (2002) 213-229
-
Bagnara, R., Ricci, E., Zaffanella, E., Hill, P.M.: Possibly not closed convex polyhedra and the Parma Polyhedra Library. In Hermenegildo, M.V., Puebla, G., eds.: SAS'02. Volume 2477 of LNCS., Madrid, Spain, Springer (2002) 213-229
-
-
-
-
12
-
-
35048835830
-
-
Barrett, C., Berezin, S.: CVC Lite: A new implementation of the cooperating validity checker. In: CAV. (2004) 515-518
-
Barrett, C., Berezin, S.: CVC Lite: A new implementation of the cooperating validity checker. In: CAV. (2004) 515-518
-
-
-
-
14
-
-
0036041563
-
Lazy abstraction
-
Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: POPL 2002. (2002) 58-70
-
(2002)
POPL
, pp. 58-70
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
|