{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T22:42:59Z","timestamp":1784328179901,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642142949","type":"print"},{"value":"9783642142956","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14295-6_24","type":"book-chapter","created":{"date-parts":[[2010,7,8]],"date-time":"2010-07-08T22:36:09Z","timestamp":1278628569000},"page":"243-257","source":"Crossref","is-referenced-by-count":176,"title":["An Abstraction-Refinement Approach to Verification of Artificial Neural Networks"],"prefix":"10.1007","author":[{"given":"Luca","family":"Pulina","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"24_CR1","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1109\/5326.897072","volume":"30","author":"G.P. Zhang","year":"2000","unstructured":"Zhang, G.P.: Neural networks for classification: a survey. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews\u00a030(4), 451\u2013462 (2000)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"key":"24_CR2","volume-title":"Functional Safety \u2013 A Straightforward Guide to applying IEC 61505 and Related Standards","author":"D.J. Smith","year":"2004","unstructured":"Smith, D.J., Simpson, K.G.L.: Functional Safety \u2013 A Straightforward Guide to applying IEC 61505 and Related Standards, 2nd edn. Elsevier, Amsterdam (2004)","edition":"2"},{"issue":"1","key":"24_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s00521-006-0039-9","volume":"16","author":"Z. Kurd","year":"2007","unstructured":"Kurd, Z., Kelly, T., Austin, J.: Developing artificial neural networks for safety critical systems. Neural Computing & Applications\u00a016(1), 11\u201319 (2007)","journal-title":"Neural Computing & Applications"},{"issue":"5","key":"24_CR4","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/0893-6080(89)90020-8","volume":"2","author":"K. Hornik","year":"1989","unstructured":"Hornik, K., Stinchcombe, M., White, H.: Multilayer feedforward networks are universal approximators. Neural networks\u00a02(5), 359\u2013366 (1989)","journal-title":"Neural networks"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","volume":"1","author":"M. Franzle","year":"2007","unstructured":"Franzle, M., Herde, C., Teige, T., Ratschan, S., Schubert, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. Journal on Satisfiability, Boolean Modeling and Computation\u00a01, 209\u2013236 (2007)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"issue":"5","key":"24_CR7","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1145\/876638.876643","volume":"50","author":"E. Clarke","year":"2003","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. Journal of the ACM (JACM)\u00a050(5), 794 (2003)","journal-title":"Journal of the ACM (JACM)"},{"issue":"1","key":"24_CR8","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1613\/jair.720","volume":"13","author":"D.F. Gordon","year":"2000","unstructured":"Gordon, D.F.: Asimovian adaptive agents. Journal of Artificial Intelligence Research\u00a013(1), 95\u2013153 (2000)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"24_CR9","unstructured":"Pulina, L., Tacchella, A.: NEVER: A tool for Neural Network Verification (2010), http:\/\/www.mind-lab.it\/never"},{"key":"24_CR10","first-page":"993","volume":"9","author":"C. Igel","year":"2008","unstructured":"Igel, C., Glasmachers, T., Heidrich-Meisner, V.: Shark. Journal of Machine Learning Research\u00a09, 993\u2013996 (2008)","journal-title":"Journal of Machine Learning Research"},{"key":"24_CR11","volume-title":"Neural networks: a comprehensive foundation","author":"S. Haykin","year":"2008","unstructured":"Haykin, S.: Neural networks: a comprehensive foundation. Prentice Hall, Englewood Cliffs (2008)"},{"key":"24_CR12","unstructured":"Gordeau, R.: Roboop \u2013 a robotics object oriented package in C++ (2005), http:\/\/www.cours.polymtl.ca\/roboop"},{"issue":"1","key":"24_CR13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0925-2312(01)00700-7","volume":"50","author":"C. Igel","year":"2003","unstructured":"Igel, C., Husken, M.: Empirical evaluation of the improved Rprop learning algorithms. Neurocomputing\u00a050(1), 105\u2013124 (2003)","journal-title":"Neurocomputing"},{"key":"24_CR14","unstructured":"Schumann, J., Gupta, P., Nelson, S.: On verification & validation of neural network based controllers. In: Proc. of International Conf. on Engineering Applications of Neural Networks, EANN\u201903 (2003)"},{"key":"24_CR15","volume-title":"Data Mining","author":"I.H. Witten","year":"2005","unstructured":"Witten, I.H., Frank, E.: Data Mining, 2nd edn. Morgan Kaufmann, San Francisco (2005)","edition":"2"},{"key":"24_CR16","unstructured":"Pappas, G., Kress-Gazit, H. (eds.): ICRA Workshop on Formal Methods in Robotics and Automation (2009)"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1145\/1375581.1375599","volume-title":"2008 ACM SIGPLAN conference on Programming language design and implementation","author":"A. Solar-Lezama","year":"2008","unstructured":"Solar-Lezama, A., Jones, C.G., Bodik, R.: Sketching concurrent data structures. In: 2008 ACM SIGPLAN conference on Programming language design and implementation, pp. 136\u2013148. ACM, New York (2008)"},{"key":"24_CR18","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/1706299.1706338","volume-title":"37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"M. Vechev","year":"2010","unstructured":"Vechev, M., Yahav, E., Yorsh, G.G.: Abstraction-guided synthesis of synchronization. In: 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 327\u2013338. ACM, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14295-6_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:50:37Z","timestamp":1606186237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14295-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142949","9783642142956"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14295-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}