{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T06:20:08Z","timestamp":1773210008736,"version":"3.50.1"},"reference-count":76,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2004,10,1]],"date-time":"2004-10-01T00:00:00Z","timestamp":1096588800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2004,10]]},"abstract":"<jats:p>This article describes FLAVERS, a finite-state verification approach that analyzes whether concurrent systems satisfy user-defined, behavioral properties. FLAVERS automatically creates a compact, event-based model of the system that supports efficient dataflow analysis. FLAVERS achieves this efficiency at the cost of precision. Analysts, however, can improve the precision of analysis results by selectively and judiciously incorporating additional semantic information into an analysis.We report on an empirical study of the performance of the FLAVERS\/Ada toolset applied to a collection of multitasking Ada systems. This study indicates that sufficient precision for proving system properties can usually be achieved and that the cost for such analysis typically grows as a low-order polynomial in the size of the system.<\/jats:p>","DOI":"10.1145\/1040291.1040292","type":"journal-article","created":{"date-parts":[[2005,1,26]],"date-time":"2005-01-26T16:35:53Z","timestamp":1106757353000},"page":"359-430","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":63,"title":["Flow analysis for verifying properties of concurrent software systems"],"prefix":"10.1145","volume":"13","author":[{"given":"Matthew B.","family":"Dwyer","sequence":"first","affiliation":[{"name":"University of Nebraska Lincoln, Lincoln, NE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[{"name":"University of Massachusetts Amherst, Amherst, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jamieson M.","family":"Cobleigh","sequence":"additional","affiliation":[{"name":"University of Massachusetts Amherst, Amherst, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gleb","family":"Naumovich","sequence":"additional","affiliation":[{"name":"Polytechnic University, Brooklyn, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,10]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1177220"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.106975"},{"key":"e_1_2_2_3_1","unstructured":"Avrunin G. S. Corbett J. C. Dwyer M. B. P\u0103s\u0103reanu C. S. and Siegel S. F. 1999. Comparing finite-state verification techniques for concurrent software. TR 99-69 University of Massachusetts Department of Computer Science. (Nov.).]]   Avrunin G. S. Corbett J. C. Dwyer M. B. P\u0103s\u0103reanu C. S. and Siegel S. F. 1999. Comparing finite-state verification techniques for concurrent software. TR 99-69 University of Massachusetts Department of Computer Science. (Nov.).]]"},{"key":"e_1_2_2_4_1","first-page":"101","article-title":"Automatically validating temporal safety properties of interfaces. In Proceedings of the 8th SPIN Workshop, M. B. Dwyer","volume":"2057","author":"Ball T.","year":"2001","unstructured":"Ball , T. and Rajamani , S. K. 2001 . Automatically validating temporal safety properties of interfaces. In Proceedings of the 8th SPIN Workshop, M. B. Dwyer , Ed. Lecture Notes in Computer Science , vol. 2057. 101 -- 122 .]] Ball, T. and Rajamani, S. K. 2001. Automatically validating temporal safety properties of interfaces. In Proceedings of the 8th SPIN Workshop, M. B. Dwyer, Ed. Lecture Notes in Computer Science, vol. 2057. 101--122.]]","journal-title":"Ed. Lecture Notes in Computer Science"},{"key":"e_1_2_2_5_1","volume-title":"Proceedings of the 15th Workshop in the Interoperability of Distributed Interactive Simulation. 473--478","author":"Bouwens C.","unstructured":"Bouwens , C. , McKenzie , R. , and Dean , C . 1996. Investigating static data flow analysis for advanced distributed simulation verification . In Proceedings of the 15th Workshop in the Interoperability of Distributed Interactive Simulation. 473--478 .]] Bouwens, C., McKenzie, R., and Dean, C. 1996. Investigating static data flow analysis for advanced distributed simulation verification. In Proceedings of the 15th Workshop in the Interoperability of Distributed Interactive Simulation. 473--478.]]"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_2_2_7_1","unstructured":"Chamillard A. T. Clarke L. A. and Avrunin G. S. 1996. An empirical comparison of static concurrency analysis techniques. TR 96-84 University of Massachusetts Department of Computer Science. (May).]]   Chamillard A. T. Clarke L. A. and Avrunin G. S. 1996. An empirical comparison of static concurrency analysis techniques. TR 96-84 University of Massachusetts Department of Computer Science. (May).]]"},{"key":"e_1_2_2_8_1","volume-title":"Proceedings of the 4th European Software Engineering Conference, I. Sommerville and M. Paul, Eds. Lecture Notes in Computer Science","volume":"717","author":"Cheung S.-C.","unstructured":"Cheung , S.-C. and Kramer , J . 1993. Tractable flow analysis for anomaly detection in distributed programs . In Proceedings of the 4th European Software Engineering Conference, I. Sommerville and M. Paul, Eds. Lecture Notes in Computer Science , vol. 717 . 283--300.]] Cheung, S.-C. and Kramer, J. 1993. Tractable flow analysis for anomaly detection in distributed programs. In Proceedings of the 4th European Software Engineering Conference, I. Sommerville and M. Paul, Eds. Lecture Notes in Computer Science, vol. 717. 283--300.]]"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235323"},{"key":"e_1_2_2_10_1","unstructured":"Clarke Jr. E. M. Grumberg O. and Peled D. A. 1999. Model Checking. MIT Press Cambridge MA.]]   Clarke Jr. E. M. Grumberg O. and Peled D. A. 1999. Model Checking. MIT Press Cambridge MA.]]"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151648"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201061"},{"key":"e_1_2_2_13_1","volume-title":"Proceedings of the 23rd International Conference on Software Engineering. 37--46","author":"Cobleigh J. M.","unstructured":"Cobleigh , J. M. , Clarke , L. A. , and Osterweil , L. J . 2001. The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification . In Proceedings of the 23rd International Conference on Software Engineering. 37--46 .]] Cobleigh, J. M., Clarke, L. A., and Osterweil, L. J. 2001. The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification. In Proceedings of the 23rd International Conference on Software Engineering. 37--46.]]"},{"key":"e_1_2_2_14_1","volume-title":"Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, H. Garavel and J. Hatcliff, Eds. Lecture Notes in Computer Science","volume":"2619","author":"Cobleigh J. M.","unstructured":"Cobleigh , J. M. , Giannakopoulou , D. , and P\u0103s\u0103reanu , C. S . 2003. Learning assumptions for compositional verification . In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, H. Garavel and J. Hatcliff, Eds. Lecture Notes in Computer Science , vol. 2619 . 331--346.]] Cobleigh, J. M., Giannakopoulou, D., and P\u0103s\u0103reanu, C. S. 2003. Learning assumptions for compositional verification. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, H. Garavel and J. Hatcliff, Eds. Lecture Notes in Computer Science, vol. 2619. 331--346.]]"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195294"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384316"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199906)29:7%3C577::AID-SPE246%3E3.0.CO;2-V"},{"key":"e_1_2_2_20_1","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","unstructured":"Dijkstra , E. W. 1976. A Discipline of Programming . Prentice Hall, Englewood Cliffs , NJ .]] Dijkstra, E. W. 1976. A Discipline of Programming. Prentice Hall, Englewood Cliffs, NJ.]]"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/154183.154197"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/786767.786816"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195295"},{"key":"e_1_2_2_26_1","volume-title":"Proceedings of the 23rd International Conference on Software Engineering. 177--187","author":"Dwyer M. B.","unstructured":"Dwyer , M. B. , Hatcliff , J. , Joehanes , R. , Laubach , S. , P\u0103s\u0103reanu , C. S. , Robby , Visser, W., and Zhen , H . 2001. Tool-supported program abstraction for finite-state verification . In Proceedings of the 23rd International Conference on Software Engineering. 177--187 .]] Dwyer, M. B., Hatcliff, J., Joehanes, R., Laubach, S., P\u0103s\u0103reanu, C. S., Robby, Visser, W., and Zhen, H. 2001. Tool-supported program abstraction for finite-state verification. In Proceedings of the 23rd International Conference on Software Engineering. 177--187.]]"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.733618"},{"key":"e_1_2_2_29_1","volume-title":"Flow Analysis of Computer Programs","author":"Hecht M. S.","unstructured":"Hecht , M. S. 1977. Flow Analysis of Computer Programs . The Computer Science Library Programming Language Series. Elsevier , North-Holland.]] Hecht, M. S. 1977. Flow Analysis of Computer Programs. The Computer Science Library Programming Language Series. Elsevier, North-Holland.]]"},{"key":"e_1_2_2_30_1","first-page":"2","article-title":"Debugging Ada tasking programs","volume":"2","author":"Helmbold D.","year":"1985","unstructured":"Helmbold , D. and Luckham , D. 1985 . Debugging Ada tasking programs . IEEE Softw. 2 , 2 (March), 47--57.]] Helmbold, D. and Luckham, D. 1985. Debugging Ada tasking programs. IEEE Softw. 2, 2 (March), 47--57.]]","journal-title":"IEEE Softw."},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.234509"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672083"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/9769.9770"},{"key":"e_1_2_2_37_1","volume-title":"Object-Oriented Technology: ECOOP'99 Workshop Reader","author":"Huisman M.","unstructured":"Huisman , M. , Jacobs , B. , and van den Berg , J. 1999. A case study in class library verification: Java's Vector class . In Object-Oriented Technology: ECOOP'99 Workshop Reader , A. M. D. Moreira and S. Demeyer, Eds. Lecture Notes in Computer Science , vol. 1743 . 109--110.]] Huisman, M., Jacobs, B., and van den Berg, J. 1999. A case study in class library verification: Java's Vector class. In Object-Oriented Technology: ECOOP'99 Workshop Reader, A. M. D. Moreira and S. Demeyer, Eds. Lecture Notes in Computer Science, vol. 1743. 109--110.]]"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.383378"},{"key":"e_1_2_2_39_1","unstructured":"Johnson S. C. 1978. Lint a C program checker. In Unix Programmer's Manual AT&T Bell Laboratories.]]  Johnson S. C. 1978. Lint a C program checker. In Unix Programmer's Manual AT&T Bell Laboratories.]]"},{"key":"e_1_2_2_40_1","volume-title":"Proceedings of the 13th International Conference on Software Engineering. 208--218","author":"Keller R. K.","unstructured":"Keller , R. K. , Cameron , M. , Taylor , R. N. , and Troup , D. B . 1991. User interface development and software environments: The Chiron-1 system . In Proceedings of the 13th International Conference on Software Engineering. 208--218 .]] Keller, R. K., Cameron, M., Taylor, R. N., and Troup, D. B. 1991. User interface development and software environments: The Chiron-1 system. In Proceedings of the 13th International Conference on Software Engineering. 208--218.]]"},{"key":"e_1_2_2_41_1","doi-asserted-by":"crossref","unstructured":"Manna Z. and Pnueli A. 1991. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag.]]   Manna Z. and Pnueli A. 1991. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag.]]","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2697758.2698070"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/213978.213989"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122768"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/155332.155346"},{"key":"e_1_2_2_47_1","volume-title":"Symbolic Model Checking","author":"McMillan K. L.","unstructured":"McMillan , K. L. 1993. Symbolic Model Checking . Kluwer Academic Publishers .]] McMillan, K. L. 1993. Symbolic Model Checking. Kluwer Academic Publishers.]]"},{"key":"e_1_2_2_48_1","volume-title":"Communication and Concurrency","author":"Milner R.","unstructured":"Milner , R. 1989. Communication and Concurrency . Prentice-Hall .]] Milner, R. 1989. Communication and Concurrency. Prentice-Hall.]]"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/647168.718138"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288213"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302663"},{"key":"e_1_2_2_52_1","doi-asserted-by":"crossref","unstructured":"Naumovich G. Avrunin G. S. and Clarke L. A. 1999b. An efficient algorithm for computing MHP information for concurrent Java programs. In Proceedings of the 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering O. Nierstrasz and M. Lemoine Eds. Lecture Notes in Computer Science vol. 1687. 338--354.]]   Naumovich G. Avrunin G. S. and Clarke L. A. 1999b. An efficient algorithm for computing MHP information for concurrent Java programs. In Proceedings of the 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering O. Nierstrasz and M. Lemoine Eds. Lecture Notes in Computer Science vol. 1687. 338--354.]]","DOI":"10.1007\/3-540-48166-4_21"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267904"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/355045.355066"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316180"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239114"},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277642"},{"key":"e_1_2_2_58_1","volume-title":"Proceedings of Languages and Compilers for Parallel Computing, Fourth International Workshop. 109--129","author":"Netzer R. H. B.","unstructured":"Netzer , R. H. B. and Miller , B. P . 1990. Detecting data races in parallel program executions . In Proceedings of Languages and Compilers for Parallel Computing, Fourth International Workshop. 109--129 .]] Netzer, R. H. B. and Miller, B. P. 1990. Detecting data races in parallel program executions. In Proceedings of Languages and Compilers for Parallel Computing, Fourth International Workshop. 109--129.]]"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.48935"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/125489.122822"},{"key":"e_1_2_2_61_1","first-page":"4","article-title":"DAVE - a validation error detection and documentation system for Fortran programs. Softw.--Prac","volume":"6","author":"Osterweil L. J.","year":"1976","unstructured":"Osterweil , L. J. and Fosdick , L. D. 1976 . DAVE - a validation error detection and documentation system for Fortran programs. Softw.--Prac . Exper. 6 , 4 (Oct.--Dec.), 473--486.]] Osterweil, L. J. and Fosdick, L. D. 1976. DAVE - a validation error detection and documentation system for Fortran programs. Softw.--Prac. Exper. 6, 4 (Oct.--Dec.), 473--486.]]","journal-title":"Exper."},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733629"},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349241"},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_2_2_65_1","first-page":"4","article-title":"The PFORT verifier. Softw.--Prac","volume":"4","author":"Ryder B. G.","year":"1974","unstructured":"Ryder , B. G. 1974 . The PFORT verifier. Softw.--Prac . Exper. 4 , 4 (Oct.--Dec.), 359--377.]] Ryder, B. G. 1974. The PFORT verifier. Softw.--Prac. Exper. 4, 4 (Oct.--Dec.), 359--377.]]","journal-title":"Exper."},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/379539.379553"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268950"},{"key":"e_1_2_2_68_1","unstructured":"Science Applications International Corporation. 1997. Advanced interoperability technology development: Investigating static data flow analysis for advanced distributed simulation verification. Tech. rep. SAIC. (May).]]  Science Applications International Corporation. 1997. Advanced interoperability technology development: Investigating static data flow analysis for advanced distributed simulation verification. Tech. rep. SAIC. (May).]]"},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581345"},{"key":"e_1_2_2_70_1","volume-title":"The Z Notation: A Reference Manual","author":"Spivey J. M.","unstructured":"Spivey , J. M. 1992. The Z Notation: A Reference Manual , 2 nd ed. Prentice-Hall .]] Spivey, J. M. 1992. The Z Notation: A Reference Manual, 2nd ed. Prentice-Hall.]]","edition":"2"},{"key":"e_1_2_2_71_1","volume-title":"Proceedings of the 26th International Conference on Software Engineering. 635--644","author":"Tan J.","unstructured":"Tan , J. , Avrunin , G. S. , and Clarke , L. A . 2004. Heuristic-based model refinement for FLAVERS . In Proceedings of the 26th International Conference on Software Engineering. 635--644 .]] Tan, J., Avrunin, G. S., and Clarke, L. A. 2004. Heuristic-based model refinement for FLAVERS. In Proceedings of the 26th International Conference on Software Engineering. 635--644.]]"},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029922"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263928"},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/69586.69587"},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/64135.65004"},{"key":"e_1_2_2_76_1","volume-title":"Proceedings of the 15th IEEE International Conference on Automated Software Engineering. 3--12","author":"Visser W.","unstructured":"Visser , W. , Havelund , K. , Brat , G. , and Park , S . -J. 2000. Model checking programs . In Proceedings of the 15th IEEE International Conference on Automated Software Engineering. 3--12 .]] Visser, W., Havelund, K., Brat, G., and Park, S.-J. 2000. Model checking programs. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering. 3--12.]]"},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120812"},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/201055.201080"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040291.1040292","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1040291.1040292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:45Z","timestamp":1750264305000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040291.1040292"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":76,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,10]]}},"alternative-id":["10.1145\/1040291.1040292"],"URL":"https:\/\/doi.org\/10.1145\/1040291.1040292","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,10]]},"assertion":[{"value":"2004-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}