{"id":"https://openalex.org/W2105923183","doi":"https://doi.org/10.1007/s00165-005-0070-0","title":"Verification of a sliding window protocol in <i>\u03bc</i> CRL and PVS","display_name":"Verification of a sliding window protocol in <i>\u03bc</i> CRL and PVS","publication_year":2005,"publication_date":"2005-09-22","ids":{"openalex":"https://openalex.org/W2105923183","doi":"https://doi.org/10.1007/s00165-005-0070-0","mag":"2105923183"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-005-0070-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-005-0070-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011463106","display_name":"Bahareh Badban","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Bahareh Badban","raw_affiliation_strings":["Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands","Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands#TAB#","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078610814","display_name":"Wan Fokkink","orcid":"https://orcid.org/0000-0001-7443-8978"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Wan Fokkink","raw_affiliation_strings":["Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands","Department of Theoretical Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, Amsterdam, HV, The Netherlands","Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands and Department of Theoretical Computer Science, Vrije Universiteit Amsterdam, PO Box 513, De Boelelaan 1 ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Theoretical Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, Amsterdam, HV, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands and Department of Theoretical Computer Science, Vrije Universiteit Amsterdam, PO Box 513, De Boelelaan 1 ...#TAB#","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032619003","display_name":"Jan Friso Groote","orcid":"https://orcid.org/0000-0003-2196-6587"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Friso Groote","raw_affiliation_strings":["Department of Computer Science, Eindhoven University of Technology, PO Box 513, 5600, Eindhoven, MB, The Netherlands","Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands","Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands and Department of Computer Science, Eindhoven University of Technology PO Box 513, 5600, MB, Eindhoven, ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Eindhoven University of Technology, PO Box 513, 5600, Eindhoven, MB, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands and Department of Computer Science, Eindhoven University of Technology PO Box 513, 5600, MB, Eindhoven, ...#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073684178","display_name":"Jun Pang","orcid":"https://orcid.org/0000-0002-4521-4112"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210139461","display_name":"Laboratoire d'Informatique de l'\u00c9cole Polytechnique","ror":"https://ror.org/04afed728","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jun Pang","raw_affiliation_strings":["\u00c9cole Polytechnique, INRIA Futurs and LIX, Rue de Saclay, 91128, Palaiseau Cedex, France"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique, INRIA Futurs and LIX, Rue de Saclay, 91128, Palaiseau Cedex, France","institution_ids":["https://openalex.org/I4210139461","https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Department of Computer Science, Eindhoven University of Technology, PO Box 513, 5600, Eindhoven, MB, The Netherlands","Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands","Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands and Department of Computer Science, Eindhoven University of Technology PO Box 513, 5600, MB, Eindhoven, ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Eindhoven University of Technology, PO Box 513, 5600, Eindhoven, MB, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Software Engineering, CWI, PO Box 94079, 1090, Amsterdam, GB, The Netherlands and Department of Computer Science, Eindhoven University of Technology PO Box 513, 5600, MB, Eindhoven, ...#TAB#","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5011463106"],"corresponding_institution_ids":["https://openalex.org/I1341640284"],"apc_list":null,"apc_paid":null,"fwci":3.8649,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.93486552,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"17","issue":"3","first_page":"342","last_page":"388"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8529478311538696},{"id":"https://openalex.org/keywords/sliding-window-protocol","display_name":"Sliding window protocol","score":0.7753085494041443},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6351912617683411},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.5539162755012512},{"id":"https://openalex.org/keywords/window","display_name":"Window (computing)","score":0.5380470752716064},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5064743757247925},{"id":"https://openalex.org/keywords/queue","display_name":"Queue","score":0.4963303208351135},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4872364103794098},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.47326043248176575},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4561433792114258},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40021973848342896},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10065168142318726}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8529478311538696},{"id":"https://openalex.org/C102392041","wikidata":"https://www.wikidata.org/wiki/Q592860","display_name":"Sliding window protocol","level":3,"score":0.7753085494041443},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6351912617683411},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5539162755012512},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.5380470752716064},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5064743757247925},{"id":"https://openalex.org/C160403385","wikidata":"https://www.wikidata.org/wiki/Q220543","display_name":"Queue","level":2,"score":0.4963303208351135},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4872364103794098},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47326043248176575},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4561433792114258},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40021973848342896},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10065168142318726},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s00165-005-0070-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-005-0070-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/d67225b3-7f0d-48f0-8893-a7cd8169ec4f","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/d67225b3-7f0d-48f0-8893-a7cd8169ec4f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Badban, B, Fokkink, W J, Groote, J F, Pang, J & Pol, van de, J C 2005, 'Verification of a sliding window protocol in \u00b5CRL and PVS', Formal Aspects of Computing, vol. 17, no. 3, pp. 342-388. https://doi.org/10.1007/s00165-005-0070-0","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:publications/0d5c9b35-b77e-4ac3-97cb-b1d27feaac79","is_oa":false,"landing_page_url":"https://hdl.handle.net/1871.1/0d5c9b35-b77e-4ac3-97cb-b1d27feaac79","pdf_url":null,"source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Badban, B, Fokkink, W J, Groote, J F, Pang, J & van de Pol, J C 2005, 'Verification of a sliding window protocol in mCRL and PVS', Formal Aspects of Computing, vol. 17, no. 3, pp. 342-388. https://doi.org/10.1007/s00165-005-0070-0","raw_type":"article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/d67225b3-7f0d-48f0-8893-a7cd8169ec4f","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/d67225b3-7f0d-48f0-8893-a7cd8169ec4f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Aspects of Computing, 17(3), 342 - 388. Springer","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:vu:oai:research.vu.nl:publications/0d5c9b35-b77e-4ac3-97cb-b1d27feaac79","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/0d5c9b35-b77e-4ac3-97cb-b1d27feaac79","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Aspects of Computing, 17(3), 342 - 388. Springer London","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W193284173","https://openalex.org/W284285021","https://openalex.org/W1491477330","https://openalex.org/W1501263237","https://openalex.org/W1512886641","https://openalex.org/W1522429036","https://openalex.org/W1522965407","https://openalex.org/W1543180705","https://openalex.org/W1544459976","https://openalex.org/W1547265787","https://openalex.org/W1547562281","https://openalex.org/W1550638834","https://openalex.org/W1561813504","https://openalex.org/W1563533791","https://openalex.org/W1579129613","https://openalex.org/W1605048253","https://openalex.org/W1659048632","https://openalex.org/W1742760325","https://openalex.org/W1860481808","https://openalex.org/W1930138276","https://openalex.org/W1972478730","https://openalex.org/W1976216777","https://openalex.org/W1985161650","https://openalex.org/W2009023733","https://openalex.org/W2019702515","https://openalex.org/W2027246586","https://openalex.org/W2068748360","https://openalex.org/W2080960387","https://openalex.org/W2097197843","https://openalex.org/W2101604841","https://openalex.org/W2109099490","https://openalex.org/W2109220893","https://openalex.org/W2115309705","https://openalex.org/W2124391744","https://openalex.org/W2130140280","https://openalex.org/W2135317805","https://openalex.org/W2146544231","https://openalex.org/W2164989576","https://openalex.org/W2174359540","https://openalex.org/W2571481842","https://openalex.org/W2808029712","https://openalex.org/W3082015636","https://openalex.org/W3158864670","https://openalex.org/W4212800840"],"related_works":["https://openalex.org/W2117548279","https://openalex.org/W2807449856","https://openalex.org/W238211858","https://openalex.org/W2070252991","https://openalex.org/W2941201715","https://openalex.org/W2025727968","https://openalex.org/W2803761277","https://openalex.org/W4297742300","https://openalex.org/W4291557013","https://openalex.org/W3014558862"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"prove":[2],"the":[3,30,51,62],"correctness":[4,25],"of":[5,27,40,53],"a":[6,38],"sliding":[7,31],"window":[8,14,32],"protocol":[9,33],"with":[10],"an":[11,54],"arbitrary":[12],"finite":[13],"size":[15],"n":[16,22,43],"and":[17,57],"sequence":[18],"numbers":[19],"modulo":[20],"2":[21,42],".":[23,44],"The":[24,45],"consists":[26],"showing":[28],"that":[29],"is":[34,47],"branching":[35],"bisimilar":[36],"to":[37],"queue":[39],"capacity":[41],"proof":[46],"given":[48],"entirely":[49],"on":[50],"basis":[52],"axiomatic":[55],"theory,":[56],"has":[58],"been":[59],"checked":[60],"in":[61],"theorem":[63],"prover":[64],"PVS.":[65]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}