{"id":"https://openalex.org/W6911472617","doi":"https://doi.org/10.5281/zenodo.10843666","title":"CoVeriTeam Release 1.1","display_name":"CoVeriTeam Release 1.1","publication_year":2023,"publication_date":"2023-11-28","ids":{"openalex":"https://openalex.org/W6911472617","doi":"https://doi.org/10.5281/zenodo.10843666"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.10843666","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10843666","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.10843666","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Dirk Beyer","orcid":"https://orcid.org/0000-0003-4832-7662"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Dirk Beyer","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Wachowitz, Henrik","orcid":"https://orcid.org/0000-0002-4768-4054"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wachowitz, Henrik","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4768-4054","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.6173999905586243},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.570900022983551},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5644999742507935},{"id":"https://openalex.org/keywords/mit-license","display_name":"MIT License","score":0.5436000227928162},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.5055000185966492},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.4821999967098236},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.41940000653266907},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.3779999911785126}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8167999982833862},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6606000065803528},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6173999905586243},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.570900022983551},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5644999742507935},{"id":"https://openalex.org/C174183944","wikidata":"https://www.wikidata.org/wiki/Q334661","display_name":"MIT License","level":3,"score":0.5436000227928162},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.5055000185966492},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.4821999967098236},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.41940000653266907},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3779999911785126},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3431999981403351},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3398999869823456},{"id":"https://openalex.org/C2780560020","wikidata":"https://www.wikidata.org/wiki/Q79719","display_name":"License","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.30790001153945923},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.30300000309944153},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.2775000035762787},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.26840001344680786},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.2547000050544739},{"id":"https://openalex.org/C139968098","wikidata":"https://www.wikidata.org/wiki/Q3055454","display_name":"Development environment","level":2,"score":0.25270000100135803},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.25270000100135803},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.2524000108242035},{"id":"https://openalex.org/C85687889","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy code","level":3,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.10843666","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10843666","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.10843666","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10843666","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W3095071793"],"related_works":[],"abstract_inverted_index":{"A":[0],"Tool":[1],"for":[2,14,92,133,177,206,302,310],"On-Demand":[3,382],"Composition":[4,383],"of":[5,11,17,75,142,204,384,400],"Cooperative":[6,385],"Verification":[7,386,422],"Systems":[8],"CoVeriTeam":[9,79,101,135,144,212,229,327,333],"consists":[10],"a":[12,231,278],"language":[13,136],"on-the-fly":[15],"composition":[16,53,148],"cooperative":[18],"verification":[19,33,42,65,71],"tools":[20,261],"from":[21,185,216,262],"existing":[22],"components;":[23],"and":[24,51,153,165,246,331,391,412,437],"its":[25],"execution":[26],"engine.":[27],"The":[28,78],"concept":[29],"is":[30,81,317,334],"based":[31],"on":[32,404],"artifacts":[34,66,207,347],"(programs,":[35],"specifications,":[36],"witnesses,":[37],"results)":[38],"as":[39,48,67,83,250,277],"basic":[40,49],"objects,":[41],"actors":[43,94,124,188],"(verifiers,":[44],"validators,":[45],"testers,":[46],"transformers)":[47],"operations,":[50],"defines":[52],"operators":[54],"that":[55,244,351],"make":[56,242],"it":[57],"possible":[58],"to":[59,99,106,225,259,272,284,428],"easily":[60],"describe":[61],"new":[62],"compositions,":[63],"taking":[64],"interface":[68],"between":[69],"the":[70,134,143,190,253,274,285,291,337],"actors.":[72],"Directory":[73],"Structure":[74],"this":[76,209,223,349],"repository":[77,210,224,350],"directory":[80],"structured":[82],"follows:":[84],".":[85],"|--":[86,95,102,114,120,129,137,149,156,160,171,179,193,200],"actors/":[87,121,191],"#":[88,97,104,116,122,131,139,151,158,162,173,181,195,202],"YAML":[89],"actor-definition":[90],"files":[91],"atomic":[93,123,187],"bin/":[96],"script":[98,105],"execute":[100,260],"contrib/":[103],"create":[107],"an":[108,299],"independent":[109],"archive":[110,301,316],"packaging":[111],"all":[112,186],"dependencies":[113],"coveriteam/":[115],"Python":[117,239],"source":[118],"code":[119],"like":[125],"ProgramVerifier,":[126],"ProgramTester,":[127],"etc.":[128],"interpreter/":[130],"interpreter":[132],"language/":[138],"core":[140],"concepts":[141],"language:":[145],"actors,":[146],"artifacts,":[147],"parser/":[150],"grammar":[152],"generated":[154],"parser":[155],"doc/":[157],"documentation":[159],"examples/":[161],"tutorial":[163],"examples":[164],"applications;":[166],"more":[167],"information":[168,184],"in":[169,189,208,252,290,348],"examples/README.md":[170],"utils/":[172],"external":[174],"libraries":[175],"required":[176],"development":[178],"smoke_test_all_tools.sh":[180],"report":[182],"tool":[183],"folder":[192,360],"LICENSE":[194],"Apache":[196,338],"2.0":[197,339],"license":[198],"file":[199],"LICENSES":[201],"collection":[203],"licenses":[205,358],"Installation":[211],"can":[213,220],"be":[214,270],"installed":[215],"PyPI,":[217],"or":[218],"one":[219],"simply":[221],"clone":[222],"use":[226],"it.":[227],"Dependencies":[228],"requires":[230],"machine":[232],"with:":[233],"Linux":[234],"Ubuntu":[235],"18.04":[236],"(or":[237],"20.04)":[238],"3":[240],"Please":[241],"sure":[243],"namespaces":[245],"cgroups":[247],"are":[248,345,352],"configured":[249],"described":[251,289],"BenchExec":[254],"documentation.":[255],"If":[256],"you":[257],"want":[258],"Docker":[263,275,292],"images":[264],"then":[265],"please":[266],"install":[267],"Docker.":[268],"To":[269],"able":[271],"run":[273],"daemon":[276],"non-root":[279],"user":[280,283],"add":[281],"your":[282],"docker":[286],"group":[287],"(as":[288],"documentation)":[293],"Reproduction":[294],"Package":[295],"We":[296],"have":[297],"prepared":[298],"artifact":[300],"evaluation":[303],"using":[304],"TACAS\u201922":[305],"Artifact":[306],"Evaluation":[307],"Virtual":[308],"Machine":[309],"VirtualBox":[311],"available":[312,318,353],"via":[313],"Zenodo.":[314,320],"This":[315],"at":[319,328],"Links":[321],"Documentation":[322],"Competition":[323],"help":[324],"Tutorial":[325],"Changelog":[326],"PyPI":[329],"License":[330],"Copyright":[332],"licensed":[335],"under":[336,354],"License,":[340],"copyright":[341],"Dirk":[342,365,389,408,431],"Beyer.":[343],"There":[344],"other":[346,356],"several":[355],"free":[357],"(cf.":[359],"LICENSES).":[361],"Authors":[362],"Project":[363],"Leads:":[364],"Beyer":[366,390],"Henrik":[367],"Wachowitz":[368],"Contributors:":[369],"Klara":[370],"Cimbalnik":[371],"Sudeep":[372,392,410],"Kanav":[373],"Tobias":[374],"Kleinert":[375],"Thomas":[376,435],"Lemberger":[377],"Frederic":[378],"Sch\u00f6nberger":[379],"References":[380],"CoVeriTeam:":[381],"Systems,":[387],"by":[388,407,430],"Kanav.":[393],"Proc.":[394,415,440],"TACAS.":[395],"Springer":[396,417],"(2022).":[397,418,443],"doi:10.1007/978-3-030-99524-9_31":[398],"Construction":[399],"Verifier":[401],"Combinations":[402],"Based":[403],"Off-the-Shelf":[405,424],"Verifiers,":[406],"Beyer,":[409,432],"Kanav,":[411],"Cedric":[413],"Richter.":[414],"FASE.":[416],"doi:10.1007/978-3-030-99429-7_3":[419],"Decomposing":[420],"Software":[421],"into":[423],"Components:":[425],"An":[426],"Application":[427],"CEGAR,":[429],"Jan":[433],"Haltermann,":[434],"Lemberger,":[436],"Heike":[438],"Wehrheim.":[439],"ICSE.":[441],"ACM":[442]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}