{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:01:45Z","timestamp":1776304905573,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642540127","type":"print"},{"value":"9783642540134","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54013-4_3","type":"book-chapter","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T01:08:09Z","timestamp":1388711289000},"page":"39-58","source":"Crossref","is-referenced-by-count":36,"title":["Relational Thread-Modular Static Value Analysis by Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Antoine","family":"Min\u00e9","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-93900-9_6","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H. Amjad","year":"2009","unstructured":"Amjad, H., Bornat, R.: Towards automatic stability analysis for rely-guarantee proofs. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol.\u00a05403, pp. 14\u201328. Springer, Heidelberg (2009)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Atig, M.F., Bouajjani, A., Burckhardt, S., Musuvathi, M.: On the verification problem for weak memory models. In: POPL 2010, pp. 7\u201318. ACM (January 2010)","DOI":"10.1145\/1707801.1706303"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: PLDI 2003, pp. 196\u2013207. ACM (June 2003)","DOI":"10.1145\/781131.781153"},{"key":"3_CR4","unstructured":"Carr\u00e9, J.-L., Hymans, C.: From single-thread to multithreaded: An efficient static analysis algorithm. Technical Report arXiv:0910.5833v1, EADS (October 2009)"},{"issue":"1-2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00313-3","volume":"277","author":"P. Cousot","year":"2002","unstructured":"Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoretical Computer Science\u00a0277(1-2), 47\u2013103 (2002)","journal-title":"Theoretical Computer Science"},{"key":"3_CR6","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: ISP 1976, pp. 106\u2013130, Dunod, Paris (1976)"},{"key":"3_CR7","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: POPL 1977, pp. 238\u2013252. ACM (January 1977)","DOI":"10.1145\/512950.512973"},{"key":"3_CR8","unstructured":"Cousot, P., Cousot, R.: Invariance proof methods and analysis techniques for parallel programs. In: Automatic Program Construction Techniques, ch. 2, pp. 243\u2013271. Macmillan, New York (1984)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-540-74061-2_27","volume-title":"Static Analysis","author":"D. Delmas","year":"2007","unstructured":"Delmas, D., Souyris, J.: Astr\u00e9e: From research to industry. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol.\u00a04634, pp. 437\u2013451. Springer, Heidelberg (2007)"},{"issue":"1-3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.tcs.2004.12.006","volume":"338","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Freund, S.N., Qadeer, S., Seshia, S.A.: Modular verification of multithreaded programs. Theoretical Computer Science\u00a0338(1-3), 153\u2013183 (2005)","journal-title":"Theoretical Computer Science"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-44829-2_14","volume-title":"Model Checking Software","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: Thread-modular model checking. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 213\u2013224. Springer, Heidelberg (2003)"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s10270-012-0230-7","volume":"12","author":"B. Jeannet","year":"2013","unstructured":"Jeannet, B.: Relational interprocedural verification of concurrent programs. Software & Systems Modeling\u00a012(2), 285\u2013306 (2013)","journal-title":"Software & Systems Modeling"},{"key":"3_CR13","unstructured":"Jones, C.B.: Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University (June 1981)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"28","author":"L. Lamport","year":"1979","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. on Computers\u00a028, 690\u2013691 (1979)","journal-title":"IEEE Trans. on Computers"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11921240_13","volume-title":"Theoretical Aspects of Computing - ICTAC 2006","author":"A. Malkis","year":"2006","unstructured":"Malkis, A., Podelski, A., Rybalchenko, A.: Thread-modular verification is cartesian abstract interpretation. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol.\u00a04281, pp. 183\u2013197. Springer, Heidelberg (2006)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-31987-0_2","volume-title":"Programming Languages and Systems","author":"L. Mauborgne","year":"2005","unstructured":"Mauborgne, L., Rival, X.: Trace partitioning in abstract interpretation based static analyzers. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 5\u201320. Springer, Heidelberg (2005)"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A. Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: The octagon abstract domain. Higher-Order and Symbolic Computation\u00a019(1), 31\u2013100 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"3_CR18","unstructured":"Min\u00e9, A.: Static analysis by abstract interpretation of sequential and multi-thread programs. In: MOVEP 2012, pp. 35\u201348 (December 2012)"},{"issue":"26","key":"3_CR19","first-page":"63","volume":"8","author":"A. Min\u00e9","year":"2012","unstructured":"Min\u00e9, A.: Static analysis of run-time errors in embedded real-time parallel C programs. Logical Methods in Computer Science\u00a08(26), 63 (2012)","journal-title":"Logical Methods in Computer Science"},{"key":"3_CR20","unstructured":"Min\u00e9, A.: Static analysis by abstract interpretation of concurrent programs. Habilitation report, \u00c9cole normale sup\u00e9rieure (May 2013)"},{"issue":"4","key":"3_CR21","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., Gries, D.: An axiomatic proof technique for parallel programs I. Acta Informatica\u00a06(4), 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47764-0_1","volume-title":"Static Analysis","author":"M. Rinard","year":"2001","unstructured":"Rinard, M.: Analysis of multithreaded programs. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, pp. 1\u201319. Springer, Heidelberg (2001)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Watkins, C.B., Walter, R.: Transitioning from federated avionics architectures to integrated modular avionics. In: DASC 2007, vol.\u00a02.A.1, pp. 1\u201310. IEEE (October 2007)","DOI":"10.1109\/DASC.2007.4391842"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54013-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T23:49:38Z","timestamp":1558828178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54013-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642540127","9783642540134"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54013-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}