{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T12:12:14Z","timestamp":1781007134786,"version":"3.54.1"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031826993","type":"print"},{"value":"9783031827006","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-82700-6_1","type":"book-chapter","created":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T01:26:40Z","timestamp":1737595600000},"page":"3-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Discovering Likely Invariants for\u00a0Distributed Systems Through Runtime Monitoring and\u00a0Learning"],"prefix":"10.1007","author":[{"given":"Yuan","family":"Xia","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deepayan","family":"Sur","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aabha Shailesh","family":"Pingle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mukund","family":"Raghothaman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Srivatsan","family":"Ravi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,1,24]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., et al.: Syntax-guided synthesis. In: 2013 Formal Methods in Computer-Aided Design, pp.\u00a01\u20138 (2013). https:\/\/api.semanticscholar.org\/CorpusID:6705760","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"1_CR2","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. Representation and Mind Series. The MIT Press, Cambridge (2008)"},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Boshernitsan, M., Doong, R., Savoia, A.: From Daikon to agitator: lessons and challenges in building a commercial tool for developer testing. In: Proceedings of the 2006 International Symposium on Software Testing and Analysis, pp. 169\u2013180. Association for Computing Machinery (2006). https:\/\/doi.org\/10.1145\/1146238.1146258","DOI":"10.1145\/1146238.1146258"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1109\/5.747866","volume":"87","author":"G Byrd","year":"1999","unstructured":"Byrd, G., Flynn, M.: Producer-consumer communication in distributed shared memory multiprocessors. Proc. IEEE 87(3), 456\u2013466 (1999). https:\/\/doi.org\/10.1109\/5.747866","journal-title":"Proc. IEEE"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Chen, Y., Ying, M., Liu, D., Alim, A., Chen, F., Chen, M.H.: Effective online software anomaly detection. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2017, pp. 136\u2013146. Association for Computing Machinery, New York, NY, USA (2017).https:\/\/doi.org\/10.1145\/3092703.3092730","DOI":"10.1145\/3092703.3092730"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Chen, Y., Poskitt, C.M., Sun, J.: Learning from mutants: using code mutation to learn and monitor invariants of a cyber-physical system . In: 2018 IEEE Symposium on Security and Privacy (SP), pp. 648\u2013660. IEEE Computer Society, Los Alamitos, CA, USA (2018). https:\/\/doi.org\/10.1109\/SP.2018.00016","DOI":"10.1109\/SP.2018.00016"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5), 752\u2013794 (2003). https:\/\/doi.org\/10.1145\/876638.876643","DOI":"10.1145\/876638.876643"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Csallner, C., Tillmann, N., Smaragdakis, Y.: DYSY: dynamic symbolic execution for invariant inference. In: Proceedings of the 30th International Conference on Software Engineering. ICSE \u201908, pp. 281\u2013290. Association for Computing Machinery, New York, NY, USA (2008). https:\/\/doi.org\/10.1145\/1368088.1368127","DOI":"10.1145\/1368088.1368127"},{"issue":"6","key":"1_CR9","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/2499370.2462184","volume":"48","author":"A Desai","year":"2013","unstructured":"Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., Zufferey, D.: P: safe asynchronous event-driven programming. ACM SIGPLAN Not. 48(6), 321\u2013332 (2013)","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Dianlin, W., Ziying, D., Donghong, L., Xiaoguang, M.: Automatic online specification mining. In: Proceedings 2011 International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE), pp. 253\u2013258 (2011). https:\/\/doi.org\/10.1109\/TMEE.2011.6199191","DOI":"10.1109\/TMEE.2011.6199191"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Ernst, M., et al.: The daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69, 35\u201345 (2007). https:\/\/doi.org\/10.1016\/j.scico.2007.01.015","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Ezudheen, P., Neider, D., D\u2019Souza, D., Garg, P., Madhusudan, P.: Horn-ice learning for synthesizing invariants and contracts. Proc. ACM Program. Lang. 2(OOPSLA) (2018). https:\/\/doi.org\/10.1145\/3276501","DOI":"10.1145\/3276501"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Faye, S., Chaudet, C., Demeure, I.: A distributed algorithm for adaptive traffic lights control. In: 2012 15th International IEEE Conference on Intelligent Transportation Systems (2012)","DOI":"10.1109\/ITSC.2012.6338671"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-319-89960-2_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Fedyukovich","year":"2018","unstructured":"Fedyukovich, G., Bod\u00edk, R.: Accelerating syntax-guided invariant synthesis. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10805, pp. 251\u2013269. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89960-2_14"},{"issue":"1\u20133","key":"1_CR15","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/s10703-020-00349-x","volume":"56","author":"G Fedyukovich","year":"2020","unstructured":"Fedyukovich, G., Kaufman, S.J., Bod\u00edk, R.: Learning inductive invariants by sampling from frequency distributions. Form. Methods Syst. Des. 56(1\u20133), 154\u2013177 (2020). https:\/\/doi.org\/10.1007\/s10703-020-00349-x","journal-title":"Form. Methods Syst. Des."},{"issue":"6","key":"1_CR16","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/1133255.1133992","volume":"41","author":"L Fei","year":"2006","unstructured":"Fei, L., Midkiff, S.P.: Artemis: practical runtime monitoring of applications for execution anomalies. SIGPLAN Not. 41(6), 84\u201395 (2006). https:\/\/doi.org\/10.1145\/1133255.1133992","journal-title":"SIGPLAN Not."},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Gao, L., Lu, M., Li, L., Pan, C.: A survey of software runtime monitoring. In: 2017 8th IEEE International Conference on Software Engineering and Service Science (ICSESS), pp. 308\u2013313 (2017). https:\/\/doi.org\/10.1109\/ICSESS.2017.8342921","DOI":"10.1109\/ICSESS.2017.8342921"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-319-08867-9_5","volume-title":"Computer Aided Verification","author":"P Garg","year":"2014","unstructured":"Garg, P., L\u00f6ding, C., Madhusudan, P., Neider, D.: ICE:\u00a0a\u00a0robust\u00a0framework\u00a0for\u00a0learning\u00a0invariants. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 69\u201387. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_5"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/2914770.2837664","volume":"51","author":"P Garg","year":"2016","unstructured":"Garg, P., Neider, D., Madhusudan, P., Roth, D.: Learning invariants using decision trees and implication counterexamples. SIGPLAN Not. 51(1), 499\u2013512 (2016). https:\/\/doi.org\/10.1145\/2914770.2837664","journal-title":"SIGPLAN Not."},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Hangal, S., Lam, M.: Tracking down software bugs using automatic anomaly detection. In: Proceedings of the 24th International Conference on Software Engineering. ICSE 2002, pp. 291\u2013301 (2002). https:\/\/doi.org\/10.1145\/581376.581377","DOI":"10.1145\/581376.581377"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Hangal, S., Narayanan, S., Chandra, N., Chakravorty, S.: Iodine: a tool to automatically infer dynamic invariants for hardware designs. In: Proceedings of 42nd Design Automation Conference, 2005, pp. 775\u2013778 (2005). https:\/\/doi.org\/10.1109\/DAC.2005.193920","DOI":"10.1109\/DAC.2005.193920"},{"key":"1_CR22","unstructured":"Holzmann, G.J., Lieberman, W.S.: Design and Validation of Computer Protocols, vol.\u00a0512. Prentice Hall, Englewood Cliffs (1991)"},{"issue":"5","key":"1_CR23","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker spin. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997). https:\/\/doi.org\/10.1109\/32.588521","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-39799-8_1","volume-title":"Computer Aided Verification","author":"L Kov\u00e1cs","year":"2013","unstructured":"Kov\u00e1cs, L., Voronkov, A.: First-order theorem proving and Vampire. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 1\u201335. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_1"},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Kusano, M., Chattopadhyay, A., Wang, C.: Dynamic generation of likely invariants for multithreaded programs. In: 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, vol.\u00a01, pp. 835\u2013846 (2015). https:\/\/doi.org\/10.1109\/ICSE.2015.95","DOI":"10.1109\/ICSE.2015.95"},{"key":"1_CR26","doi-asserted-by":"publisher","unstructured":"Kuzmina, N., Paul, J., Gamboa, R., Caldwell, J.: Extending dynamic constraint detection with disjunctive constraints. In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008). WODA \u201908, pp. 57\u201363. Association for Computing Machinery, New York, NY, USA (2008). https:\/\/doi.org\/10.1145\/1401827.1401839","DOI":"10.1145\/1401827.1401839"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Lahiri, S., Roy, S.: Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2022, pp. 352\u2013364. Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3533767.3534381","DOI":"10.1145\/3533767.3534381"},{"issue":"5","key":"1_CR28","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebr. Program. 78(5), 293\u2013303 (2009). https:\/\/doi.org\/10.1016\/j.jlap.2008.08.004","journal-title":"J. Logic Algebr. Program."},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Li, J., Sun, J., Li, L., Le, Q.L., Lin, S.W.: Automatic loop-invariant generation and refinement through selective sampling. In: Proceedings of the 32nd IEEE\/ACM International Conference on Automated Software Engineering. ASE \u201917, pp. 782\u2013792. IEEE Press (2017)","DOI":"10.1109\/ASE.2017.8115689"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Ma, H., Goel, A., Jeannin, J.B., Kapritsos, M., Kasikci, B., Sakallah, K.A.: I4: incremental inference of inductive invariants for verification of distributed protocols. In: Proceedings of the 27th ACM Symposium on Operating Systems Principles, pp. 370\u2013384 (2019)","DOI":"10.1145\/3341301.3359651"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Maimon, O.Z., Rokach, L.: Data Mining with Decision Trees: Theory and Applications, vol.\u00a081. World Scientific (2014). https:\/\/doi.org\/10.1142\/9097","DOI":"10.1142\/9097"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-030-53291-8_12","volume-title":"Computer Aided Verification","author":"KL McMillan","year":"2020","unstructured":"McMillan, K.L., Padon, O.: Ivy: a multi-modal verification tool for distributed algorithms. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 190\u2013202. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_12"},{"issue":"7","key":"1_CR33","doi-asserted-by":"publisher","first-page":"1523","DOI":"10.1007\/s10817-020-09570-z","volume":"64","author":"D Neider","year":"2020","unstructured":"Neider, D., Madhusudan, P., Saha, S., Garg, P., Park, D.: A learning-based approach to synthesizing invariants for incomplete verification engines. J. Autom. Reason. 64(7), 1523\u20131552 (2020). https:\/\/doi.org\/10.1007\/s10817-020-09570-z","journal-title":"J. Autom. Reason."},{"issue":"4","key":"1_CR34","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/2699417","volume":"58","author":"C Newcombe","year":"2015","unstructured":"Newcombe, C., Rath, T., Zhang, F., Munteanu, B., Brooker, M., Deardeuff, M.: How amazon web services uses formal methods. Commun. ACM 58(4), 66\u201373 (2015). https:\/\/doi.org\/10.1145\/2699417","journal-title":"Commun. ACM"},{"key":"1_CR35","doi-asserted-by":"publisher","unstructured":"Padhi, S., Sharma, R., Millstein, T.: Data-driven precondition inference with learned features, pp. 42\u201356 (2016). https:\/\/doi.org\/10.1145\/2908080.2908099","DOI":"10.1145\/2908080.2908099"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Padon, O., McMillan, K.L., Panda, A., Sagiv, M., Shoham, S.: Ivy: safety verification by interactive generalization. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 614\u2013630 (2016)","DOI":"10.1145\/2908080.2908118"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Peterson, G.L.: Myths about the mutual exclusion problem. Inf. Process. Lett. 12, 115\u2013116 (1981). https:\/\/api.semanticscholar.org\/CorpusID:45492619","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"1_CR38","doi-asserted-by":"publisher","unstructured":"Pnueli, A., Ruah, S., Zuck, L.D.: Automatic deductive verification with invisible invariants. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 82\u201397. Springer, Cham (2001). https:\/\/doi.org\/10.1007\/3-540-45319-9_7, http:\/\/dblp.uni-trier.de\/db\/conf\/tacas\/tacas2001.html#PnueliRZ01","DOI":"10.1007\/3-540-45319-9_7"},{"key":"1_CR39","unstructured":"Polgreen, E., Abboud, R., Kroening, D.: Counterexample guided neural synthesis. arXiv (2020). https:\/\/api.semanticscholar.org\/CorpusID:210920369"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Pradel, M., Bichsel, P., Gross, T.R.: A framework for the evaluation of specification miners based on finite state machines. In: 2010 IEEE International Conference on Software Maintenance, pp. 1\u201310. IEEE (2010). https:\/\/api.semanticscholar.org\/CorpusID:6673177","DOI":"10.1109\/ICSM.2010.5609576"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Riley, D., Fedyukovich, G.: Multi-phase invariant synthesis. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 607\u2013619 (2022)","DOI":"10.1145\/3540250.3549166"},{"key":"1_CR42","unstructured":"Ryan, G., Wong, J., Yao, J., Gu, R., Jana, S.S.: Cln2INV: learning loop invariants with continuous logic networks. arXiv (2019). https:\/\/api.semanticscholar.org\/CorpusID:202749930"},{"key":"1_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/978-3-642-37036-6_31","volume-title":"Programming Languages and Systems","author":"R Sharma","year":"2013","unstructured":"Sharma, R., Gupta, S., Hariharan, B., Aiken, A., Liang, P., Nori, A.V.: A data driven approach for algebraic loop invariants. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 574\u2013592. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37036-6_31"},{"key":"1_CR44","unstructured":"Si, X., Dai, H., Raghothaman, M., Naik, M., Song, L.: Learning loop invariants for program verification. In: Neural Information Processing Systems (2018). https:\/\/api.semanticscholar.org\/CorpusID:53319040"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-030-53291-8_9","volume-title":"Computer Aided Verification","author":"X Si","year":"2020","unstructured":"Si, X., Naik, A., Dai, H., Naik, M., Song, L.: Code2Inv: a deep learning framework for program verification. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 151\u2013164. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_9"},{"issue":"6","key":"1_CR46","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/2499370.2462174","volume":"48","author":"A Udupa","year":"2013","unstructured":"Udupa, A., Raghavan, A., Deshmukh, J.V., Mador-Haim, S., Martin, M.M., Alur, R.: Transit: specifying protocols with concolic snippets. ACM SIGPLAN Not. 48(6), 287\u2013296 (2013)","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Wang, J., Wang, C.: Learning to synthesize relational invariants. In: Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering, pp. 1\u201312 (2022)","DOI":"10.1145\/3551349.3556942"},{"key":"1_CR48","unstructured":"Bo, W., Sirui, L., Jiang, J.J., Xiong, Y.: Survey of dynamic analysis based program invariant synthesis techniques. J. Softw. 31(6), 1681\u20131702 (2020)"},{"key":"1_CR49","doi-asserted-by":"publisher","unstructured":"Yang, Z., Dai, M., Guo, J.: Formal modeling and verification of smart contracts with spin. Electronics, 3091 (2022). https:\/\/doi.org\/10.3390\/electronics11193091","DOI":"10.3390\/electronics11193091"},{"key":"1_CR50","unstructured":"Yao, J., Tao, R., Gu, R., Nieh, J.: $$\\{$$DuoAI$$\\}$$: Fast, automated inference of inductive invariants for verifying distributed protocols. In: 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22), pp. 485\u2013501 (2022)"},{"key":"1_CR51","unstructured":"Yao, J., Tao, R., Gu, R., Nieh, J., Jana, S., Ryan, G.: DistAI: data-driven automated invariant learning for distributed protocols. In: 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21), pp. 405\u2013421. USENIX Association (2021). https:\/\/www.usenix.org\/conference\/osdi21\/presentation\/yao"},{"issue":"4","key":"1_CR52","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1145\/3296979.3192416","volume":"53","author":"H Zhu","year":"2018","unstructured":"Zhu, H., Magill, S., Jagannathan, S.: A data-driven CHC solver. SIGPLAN Not. 53(4), 707\u2013721 (2018). https:\/\/doi.org\/10.1145\/3296979.3192416","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-82700-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T01:26:58Z","timestamp":1737595618000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-82700-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031826993","9783031827006"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-82700-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"24 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denver, CO","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/VMCAI-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}