SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5505 LNCS, Issue , 2009, Pages 174-177

Boolector: An efficient SMT solver for bit-vectors and arrays

(2) Brummayer, Robert a Biere, Armin a

a JOHANNES KEPLER UNIVERSITY LINZ (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

FIRST-ORDER THEORIES; LOGICAL FORMULAS; ON-DEMAND; SATISFIABILITY; SATISFIABILITY MODULO THEORIES; TERM REWRITING; BIT VECTOR; FIRST ORDER THEORIES; ON DEMANDS; SMT SOLVERS;

COMPUTER SOFTWARE; FORMAL LOGIC;

ARTIFICIAL INTELLIGENCE; COMPUTERS;

EID: 70350656383 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-642-00768-2_16 Document Type: Conference Paper

Times cited : (267)

References (12)

1
- 67650697028
- PhD thesis
- Babic, D.: Exploiting Structure for Scalable Software Verification. PhD thesis (2008)
- (2008) Exploiting Structure for Scalable Software Verification
- Babic, D.¹

2
- 70350664308
- Barrett, C., Deters, M., Oliveras, A., Stump, A.: SMT-Comp. (2008), http://www.smtcomp.org
- Barrett, C., Deters, M., Oliveras, A., Stump, A.: SMT-Comp. (2008), http://www.smtcomp.org

3
- 70350695872
- Biere, A.: PicoSAT essentials. JSAT 4 (2008)
- Biere, A.: PicoSAT essentials. JSAT 4 (2008)

4
- 84891441796
- Springer, Heidelberg
- Bradley, A.R., Manna, Z.: The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, Heidelberg (2007)
- (2007) The Calculus of Computation: Decision Procedures with Applications to Verification
- Bradley, A.R.¹ Manna, Z.²

5
- 67650701198
- Lemmas on demand for the extensional theory of arrays
- Brummayer, R., Biere, A.: Lemmas on demand for the extensional theory of arrays. In: Proc. SMT (2008)
- (2008) Proc. SMT
- Brummayer, R.¹ Biere, A.²

6
- 78149396419
- BTOR: Bit-precise modelling of word-level problems for model checking
- Brummayer, R., Biere, A., Lonsing, F.: BTOR: Bit-precise modelling of word-level problems for model checking. In: Proc. BPR (2008)
- (2008) Proc. BPR
- Brummayer, R.¹ Biere, A.² Lonsing, F.³

7
- 48949107008
- The birth of model checking
- Grumberg, O, Veith, H, eds, 25 Years of Model Checking, Springer, Heidelberg
- Clarke, E.M.: The birth of model checking. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol. 5000, pp. 1-26. Springer, Heidelberg (2008)
- (2008) LNCS , vol.5000 , pp. 1-26
- Clarke, E.M.¹

8
- 45749085681
- Z3: An efficient SMT solver
- Ramakrishnan, C.R, Rehof, J, eds, TACAS 2008, Springer, Heidelberg
- de Moura, L., Bjørner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
- (2008) LNCS , vol.4963 , pp. 337-340
- de Moura, L.¹ Bjørner, N.²

9
- 24144441847
- Lemmas on demand for satisfiability solvers
- de Moura, L., Rue, H.: Lemmas on demand for satisfiability solvers. In: Proc. SAT (2002)
- (2002) Proc. SAT
- de Moura, L.¹ Rue, H.²

10
- 60849097613
- Springer, Heidelberg
- Kroening, D., Strichman, O.: Decision Procedures: An algorithmic Point of View. Springer, Heidelberg (2008)
- (2008) Decision Procedures: An algorithmic Point of View
- Kroening, D.¹ Strichman, O.²

11
- 58049117632
- Ranise, S., Tinelli, C.: The satisfiability modulo theories library, SMT-LIB (2008), http://www.smt-lib.org
- (2008) The satisfiability modulo theories library, SMT-LIB
- Ranise, S.¹ Tinelli, C.²

12
- 70350643522
- Sebastiani, R.: Lazy satisfiability modulo theories. JSAT, 3 (2007)
- Sebastiani, R.: Lazy satisfiability modulo theories. JSAT, 3 (2007)

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.