{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:35:46Z","timestamp":1775054146408,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642287558","type":"print"},{"value":"9783642287565","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28756-5_39","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T16:57:15Z","timestamp":1332435435000},"page":"525-527","source":"Crossref","is-referenced-by-count":17,"title":["Predicate Analysis with BLAST 2.7"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Shved","sequence":"first","affiliation":[]},{"given":"Mikhail","family":"Mandrykin","sequence":"additional","affiliation":[]},{"given":"Vadim","family":"Mutilin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R.: Lazy abstraction. In: Symposium on Principles of Programming Languages, pp. 58\u201370. ACM Press (2002)","DOI":"10.1145\/565816.503279"},{"issue":"5","key":"39_CR2","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/s10009-007-0044-z","volume":"9","author":"D. Beyer","year":"2007","unstructured":"Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker BLAST: Applications to software engineering. Int. J. Softw. Tools Technol. Transf.\u00a09(5), 505\u2013525 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"39_CR3","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/1095430.1081742","volume":"30","author":"J. Fischer","year":"2005","unstructured":"Fischer, J., Jhala, R., Majumdar, R.: Joining dataflow with predicates. SIGSOFT Softw. Eng. Notes\u00a030, 227\u2013236 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Khoroshilov, A., Mutilin, V., Novikov, E., Shved, P., Strakh, A.: Towards an open framework for C verification tools benchmarking. In: Proceedings of PSI (2011)","DOI":"10.1007\/978-3-642-29709-0_17"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Shved, P., Mutilin, V., Mandrykin, M.: Static verfication \u201cunder the hood\u201d: Implementation details and improvements of BLAST. In: Proceedings of SYRCoSE, vol.\u00a01, pp. 54\u201360 (2011)","DOI":"10.15514\/SYRCOSE-2011-5-9"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28756-5_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:08:55Z","timestamp":1620112135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28756-5_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287558","9783642287565"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28756-5_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}