{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:34:15Z","timestamp":1725568455043},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165573"},{"type":"electronic","value":"9783642165580"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16558-0_52","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:36:49Z","timestamp":1288690609000},"page":"643-657","source":"Crossref","is-referenced-by-count":5,"title":["Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning"],"prefix":"10.1007","author":[{"given":"Yu-Fang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Azadeh","family":"Farzan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Hsien","family":"Tsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yih-Kuen","family":"Tsay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bow-Yaw","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"52_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a075(2), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Bryant, R.: Graph-based algorithms for Boolean-function manipulation. IEEE Transaction on Computers C-35(8) (1986)","DOI":"10.1109\/TC.1986.1676819"},{"issue":"1","key":"52_CR3","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1006\/inco.1995.1164","volume":"123","author":"N.H. Bshouty","year":"1995","unstructured":"Bshouty, N.H.: Exact learning boolean function via the monotone theory. Information and Computation\u00a0123(1), 146\u2013153 (1995)","journal-title":"Information and Computation"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"Campos, S.V.A., Clarke, E.M., Marrero, W.R., Minea, M.: Verifying the performance of the PCI local bus using symbolic techniques. In: ICCD, pp. 72\u201378 (1995)","DOI":"10.1109\/ICCD.1995.528793"},{"key":"52_CR5","unstructured":"Cantin, J.F., Lipasti, M.H., Smith, J.E.: Dynamic verification of cache coherence protocols. In: Workshop on Memory Performance Issues (2001)"},{"key":"52_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-540-71209-1_22","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Chaki","year":"2007","unstructured":"Chaki, S., Strichman, O.: Optimized L\n                  *-based assume-guarantee reasoning. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 276\u2013291. Springer, Heidelberg (2007)"},{"key":"52_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_44","volume-title":"Computer Aided Verification","author":"Y.F. Chen","year":"2010","unstructured":"Chen, Y.F., Clarke, E.M., Farzan, A., Tsai, M.H., Tsay, Y.K., Wang, B.Y.: Automated assume-guarantee reasoning through implicit learning. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174. Springer, Heidelberg (2010)"},{"key":"52_CR8","series-title":"LNCS","first-page":"31","volume-title":"TACAS","author":"Y.F. Chen","year":"2009","unstructured":"Chen, Y.F., Farzan, A., Clarke, E.M., Tsay, Y.K., Wang, B.Y.: Learning minimal separating DFA\u2019s for compositional verification. In: Kowalewski, S., Philippou, A. (eds.) TACAS. LNCS, vol.\u00a05505, pp. 31\u201345. Springer, Heidelberg (2009)"},{"key":"52_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"key":"52_CR10","unstructured":"Clarke, E.M., Kr\u00f6ning, D.: SMV example: Bus protocol, PowerPoint file (2002)"},{"key":"52_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D.: P\u0103s\u0103reanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"key":"52_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-60454-5_41","volume-title":"Algorithmic Learning Theory","author":"R. Gavald\u00e0","year":"1995","unstructured":"Gavald\u00e0, R., Guijarro, D.: Learning ordered binary decision diagrams. In: Zeugmann, T., Shinohara, T., Jantke, K.P. (eds.) ALT 1995. LNCS, vol.\u00a0997, pp. 228\u2013238. Springer, Heidelberg (1995)"},{"issue":"3","key":"52_CR13","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s10703-008-0050-0","volume":"32","author":"A. Gupta","year":"2008","unstructured":"Gupta, A., McMillan, K.L., Fu, Z.: Automated assumption generation for compositional verification. Formal Methods in System Design\u00a032(3), 285\u2013301 (2008)","journal-title":"Formal Methods in System Design"},{"key":"52_CR14","volume-title":"The Cache Memory Book","author":"J. Handy","year":"1998","unstructured":"Handy, J.: The Cache Memory Book. Academic Press, London (1998)"},{"key":"52_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-11319-2_15","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"Y. Jung","year":"2010","unstructured":"Jung, Y., Kong, S., Wang, B.Y., Yi, K.: Deriving invariants in propositional logic by algorithmic learning, decision procedure, and predicate abstraction. In: Barthe, G., Hermenegildo, M. (eds.) VMCAI 2010. LNCS, vol.\u00a05944, pp. 180\u2013196. Springer, Heidelberg (2010)"},{"key":"52_CR16","doi-asserted-by":"crossref","unstructured":"Kimura, S., Clarke, E.M.: A parallel algorithm for constructing binary decision diagrams. In: ICCD, pp. 220\u2013223 (1990)","DOI":"10.1109\/ICCD.1990.130209"},{"key":"52_CR17","unstructured":"McMillan, K.L.: The SMV system, symbolic model checking - an approach. Technical Report CMU-CS-92-131, Carnegie Mellon University (1992)"},{"key":"52_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-45069-6_1","volume-title":"Computer Aided Verification","author":"K.L. McMillan","year":"2003","unstructured":"McMillan, K.L.: Interpolation and SAT-based model checking. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 1\u201313. Springer, Heidelberg (2003)"},{"issue":"2","key":"52_CR19","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1016\/j.ic.2005.05.003","volume":"201","author":"A. Nakamura","year":"2005","unstructured":"Nakamura, A.: An efficient query learning algorithm for ordered binary decision diagrams. Information and Computation\u00a0201(2), 178\u2013198 (2005)","journal-title":"Information and Computation"},{"issue":"3","key":"52_CR20","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s10703-008-0055-8","volume":"32","author":"W. Nam","year":"2008","unstructured":"Nam, W., Madhusudan, P., Alur, R.: Automatic symbolic compositional verification by learning assumptions. Formal Methods in System Design\u00a032(3), 207\u2013234 (2008)","journal-title":"Formal Methods in System Design"},{"key":"52_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-73368-3_8","volume-title":"Computer Aided Verification","author":"N. Sinha","year":"2007","unstructured":"Sinha, N., Clarke, E.M.: SAT-based compositional verification using lazy learning. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 39\u201354. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16558-0_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T21:29:00Z","timestamp":1553203740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16558-0_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165573","9783642165580"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16558-0_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}