메뉴 건너뛰기




Volumn 6806 LNCS, Issue , 2011, Pages 171-177

CVC4

Author keywords

[No Author keywords available]

Indexed keywords

CORE SYSTEMS; DECISION PROCEDURE; FEATURE SETS; JOINT PROJECTS; SYSTEM ARCHITECTURES;

EID: 79960377581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22110-1_14     Document Type: Conference Paper
Times cited : (888)

References (16)
  • 1
    • 35048835830 scopus 로고    scopus 로고
    • CVC Lite: A New Implementation of the Cooperating Validity Checker Category
    • Alur, R., Peled, D.A. (eds.) CAV 2004. Springer, Heidelberg
    • Barrett, C., Berezin, S.: CVC Lite: A New Implementation of the Cooperating Validity Checker Category. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 515-518. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.3114 , pp. 515-518
    • Barrett, C.1    Berezin, S.2
  • 4
    • 38149123956 scopus 로고    scopus 로고
    • CVC3
    • Damm, W., Hermanns, H. (eds.) CAV 2007. Springer, Heidelberg
    • Barrett, C., Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 298-302. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4590 , pp. 298-302
    • Barrett, C.1    Tinelli, C.2
  • 5
    • 48949090405 scopus 로고    scopus 로고
    • The barcelogic SMT solver
    • Gupta, A., Malik, S. (eds.) CAV 2008. Springer, Heidelberg
    • Bofill, M., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E., Rubio, A.: The barcelogic SMT solver. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 294-298. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5123 , pp. 294-298
    • Bofill, M.1    Nieuwenhuis, R.2    Oliveras, A.3    Rodríguez-Carbonell, E.4    Rubio, A.5
  • 6
    • 48949100787 scopus 로고    scopus 로고
    • The math-SAT 4 SMT solver
    • Gupta, A., Malik, S. (eds.) CAV 2008. Springer, Heidelberg
    • Bruttomesso, R., Cimatti, A., Franzén, A., Griggio, A., Sebastiani, R.: The math-SAT 4 SMT solver. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 299-303. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5123 , pp. 299-303
    • Bruttomesso, R.1    Cimatti, A.2    Franzén, A.3    Griggio, A.4    Sebastiani, R.5
  • 7
    • 77951556643 scopus 로고    scopus 로고
    • The OpenSMT Solver
    • Esparza, J., Majumdar, R. (eds.) TACAS 2010. Springer, Heidelberg
    • Bruttomesso, R., Pek, E., Sharygina, N., Tsitovich, A.: The OpenSMT Solver. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 150-153. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6015 , pp. 150-153
    • Bruttomesso, R.1    Pek, E.2    Sharygina, N.3    Tsitovich, A.4
  • 8
    • 45749085681 scopus 로고    scopus 로고
    • Z3: An Efficient SMT Solver
    • Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. Springer, Heidelberg
    • de Moura, L., Bjørner, N.S.: 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.1    Bjørner, N.S.2
  • 10
    • 33749846787 scopus 로고    scopus 로고
    • A Fast Linear-Arithmetic Solver for DPLL(T)
    • Ball, T., Jones, R.B. (eds.) CAV 2006. Springer, Heidelberg
    • Dutertre, B., de Moura, L.: A Fast Linear-Arithmetic Solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 81-94. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4144 , pp. 81-94
    • Dutertre, B.1    De Moura, L.2
  • 11
    • 30344450270 scopus 로고    scopus 로고
    • An Extensible SAT-solver
    • Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. Springer, Heidelberg
    • Eén, N., Sörensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 333-336. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.2919 , pp. 333-336
    • Eén, N.1    Sörensson, N.2
  • 16
    • 84937554711 scopus 로고    scopus 로고
    • CVC: A Cooperating Validity Checker
    • Brinksma, E., Larsen, K.G. (eds.) CAV 2002. Springer, Heidelberg
    • Stump, A., Barrett, C.W., Dill, D.L.: CVC: A Cooperating Validity Checker. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 500-504. Springer, Heidelberg (2002)
    • (2002) LNCS , vol.2404 , pp. 500-504
    • Stump, A.1    Barrett, C.W.2    Dill, D.L.3


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