{"id":"https://openalex.org/W6931607904","doi":"https://doi.org/10.5281/zenodo.7635975","title":"CoVeriTeam Release 1.0","display_name":"CoVeriTeam Release 1.0","publication_year":2023,"publication_date":"2023-02-23","ids":{"openalex":"https://openalex.org/W6931607904","doi":"https://doi.org/10.5281/zenodo.7635975"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7635975","is_oa":true,"landing_page_url":"https://zenodo.org/record/7635975","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7635975","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Beyer, Dirk","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":"Beyer, Dirk","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":"middle","author":{"id":null,"display_name":"Kanav, Sudeep","orcid":"https://orcid.org/0000-0001-6078-4175"},"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":"Kanav, Sudeep","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6078-4175","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":3,"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":5,"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":{"id":"https://openalex.org/T10296","display_name":"Vector-borne infectious diseases","score":0.9613999724388123,"subfield":{"id":"https://openalex.org/subfields/2405","display_name":"Parasitology"},"field":{"id":"https://openalex.org/fields/24","display_name":"Immunology and Microbiology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10296","display_name":"Vector-borne infectious diseases","score":0.9613999724388123,"subfield":{"id":"https://openalex.org/subfields/2405","display_name":"Parasitology"},"field":{"id":"https://openalex.org/fields/24","display_name":"Immunology and Microbiology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11688","display_name":"Microbial infections and disease research","score":0.004600000102072954,"subfield":{"id":"https://openalex.org/subfields/2404","display_name":"Microbiology"},"field":{"id":"https://openalex.org/fields/24","display_name":"Immunology and Microbiology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12733","display_name":"Vector-Borne Animal Diseases","score":0.002300000051036477,"subfield":{"id":"https://openalex.org/subfields/1105","display_name":"Ecology, Evolution, Behavior and Systematics"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6118999719619751},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.4715000092983246},{"id":"https://openalex.org/keywords/login","display_name":"Login","score":0.4383000135421753},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.4083999991416931},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.3991999924182892},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.3456999957561493}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7860999703407288},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6226999759674072},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6118999719619751},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5590999722480774},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4715000092983246},{"id":"https://openalex.org/C113324615","wikidata":"https://www.wikidata.org/wiki/Q472302","display_name":"Login","level":2,"score":0.4383000135421753},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.4083999991416931},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.3991999924182892},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.39879998564720154},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.3456999957561493},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.31310001015663147},{"id":"https://openalex.org/C15524039","wikidata":"https://www.wikidata.org/wiki/Q865817","display_name":"Java applet","level":3,"score":0.30979999899864197},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.29750001430511475},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.2969000041484833},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.2919999957084656},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2786000072956085},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.25270000100135803}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:7635975","is_oa":true,"landing_page_url":"https://zenodo.org/record/7635975","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.7635975","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7635975","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":"pmh:oai:zenodo.org:7635975","is_oa":true,"landing_page_url":"https://zenodo.org/record/7635975","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W3095071793"],"related_works":[],"abstract_inverted_index":{"<!--
":[0],"This":[1,498,647],"file":[2,515],"is":[3,62,106,174,189,289,492,559,566,605,698],"part":[4],"of":[5,12,33,43,49,217,351,475,508,522],"CoVeriTeam,
":[6],"a":[7,44,119,158,190,210,444,488,542,681],"tool":[8,400,665],"for":[9,30,46,280,308,342,375,384,529,575,667],"on-demand":[10],"composition":[11,85],"cooperative":[13,50,576],"verification":[14,51,65,74,97,103,571],"systems:
":[15],"https://gitlab.com/sosy-lab/software/coveriteam":[16],"SPDX-FileCopyrightText:":[17],"2020":[18],"Dirk":[19],"Beyer":[20],"<https://www.sosy-lab.org>":[21],"SPDX-License-Identifier:":[22],"Apache-2.0
":[23],"-->":[24],"#":[25,297,304,313,325,331,340,348,360,367,372,380,388,398,412],"CoVeriTeam":[26,41,105,117,287,344,353,434,449,565,585,600],"##":[27,113,418],"A":[28,696],"Tool":[29],"On-Demand":[31],"Composition":[32],"Cooperative":[34],"Verification":[35],"Systems":[36],"[![Apache":[37],"2.0":[38,111,414],"License](https://img.shields.io/badge/license-Apache--2-brightgreen.svg)](https://www.apache.org/licenses/LICENSE-2.0)
":[39],"[![DOI](https://zenodo.org/badge/doi/10.5281/zenodo.3818283.svg)](https://doi.org/10.5281/zenodo.3818283)":[40],"consists":[42],"language":[45,347],"on-the-fly":[47],"composition
":[48,357],"tools":[52,574],"from":[53,213,402],"existing":[54],"components;":[55],"and":[56,142,185,221,277,362,447,465,511,532,572,588,637],"its":[57,582],"execution":[58,487,507,520,558],"engine.
":[59],"The":[60,286,429,602,612,660,677],"concept":[61],"based":[63,567],"on
":[64],"artifacts":[66,98,503,536],"(programs,":[67],"specifications,":[68],"witnesses,":[69],"results)":[70],"as":[71,80,99,146,291,578],"basic":[72,81],"objects,
":[73],"actors":[75,330,333,405,531,596,614],"(verifiers,":[76],"validators,":[77],"testers,":[78],"transformers)":[79],"operations,":[82],"and
":[83],"defines":[84],"operators":[86],"that":[87,140,592,615,685],"make":[88,138],"it":[89],"possible":[90],"to":[91,165,169,202,299,315,390,423,459,534,540,548,651],"easily":[92],"describe":[93],"new":[94],"compositions,
":[95],"taking":[96],"interface":[100],"between":[101],"the":[102,109,134,162,167,171,195,204,223,343,352,376,393,407,433,439,448,460,470,495,502,506,509,519,523,526,535,549,552,556,590,594,599,608,619,625,640,644,654,664,672,693,701],"actors.":[104],"available":[107,175,425,623,699],"under":[108],"Apache":[110,413],"license.":[112],"Installation":[114],"###":[115,152,283,562,675],"Dependencies":[116],"requires":[118],"machine":[120,160,212],"with:
":[121],"-":[122,124,127],"Linux
":[123],"Python":[125,326],"3.6
":[126],"[BenchExec](https://github.com/sosy-lab/benchexec)":[128],"2.6":[129],"or":[130],"later":[131],"(to":[132],"execute":[133,170,300,391],"atomic":[135,309,332,404,530,579,595,613,655],"actors)":[136],"Please":[137],"sure":[139],"namespaces":[141,276],"cgroups":[143],"are":[144,436,622],"configured":[145],"described":[147],"in":[148,194,406,494,555,598,607,618,624,643,671],"the
":[149],"BenchExec":[150,281],"[documentation](https://github.com/sosy-lab/benchexec/blob/master/doc/INSTALL.md).":[151],"Virtual":[153],"Machine
":[154],"We":[155,207],"have":[156,208],"prepared":[157,209],"virtual":[159,211],"with":[161],"required":[163,383,431],"dependencies":[164],"ease":[166],"effort
":[168],"examples,":[172],"which":[173,198],"at":[176],"Zenodo":[177],"[[DOI:":[178],"10.5281/zenodo.3813199](https://doi.org/10.5281/zenodo.3813199)].
":[179],"Login":[180],"credentials":[181],"are:":[182],"`userid:":[183],"coveriteam-user`":[184],"`password:":[186],"pass`.
":[187],"There":[188],"folder":[191,491,496,499,679],"named":[192,490,516,545],"`coveriteam/`":[193],"home":[196],"directory":[197,288,550],"contains":[199,500,680],"everything":[200],"needed":[201],"run":[203],"example":[205,683],"programs.":[206],"an":[214,317,513],"ISO":[215],"image":[216],"standard":[218],"[Ubuntu":[219],"1804](https://releases.ubuntu.com/18.04.4/ubuntu-18.04.4-desktop-amd64.iso)":[220],"applying":[222],"following":[224],"steps:
":[225],"*":[226,236,246,256,265,274],"install":[227,234,237,244,247,254,257,263,266,272],"Java":[228,238],"11":[229],"(for":[230,240,250,259,268],"CPAchecker):":[231],"`sudo":[232,242,252,261,270],"apt":[233,243,253,262,271],"openjdk-11-jre-headless`
":[235],"8":[239],"UAutomizer):":[241],"openjdk-8-jre-headless`
":[245],"clang":[248],"6.0":[249],"KLEE):":[251],"clang-6.0`
":[255],"pyutil":[258],"CondTest):":[260],"python3-psutil`
":[264],"gcc-multiutil":[267],"TestCov):":[269],"gcc-multilib`
":[273],"setup":[275],"cgroup":[278],"configuration":[279],"([documentation](https://github.com/sosy-lab/benchexec/blob/master/doc/INSTALL.md))":[282],"Directory":[284],"Structure
":[285],"structured":[290],"follows:
":[292],"```
":[293],".
":[294],"|--":[295,302,311,323,329,338,346,358,365,370,378,386,396,410],"bin":[296],"script":[298,314,389,661,694],"CoVeriTeam
":[301],"config":[303],"YAML":[305,609,645],"actor-definition":[306,631],"files":[307],"actors
":[310],"contrib":[312],"create":[316],"independent":[318],"archive":[319],"packaging":[320],"all":[321,392,403],"dependencies
":[322],"coveriteam":[324],"source":[327,603],"code
":[328],"like":[334],"ProgramVerifier,":[335],"ProgramTester,":[336],"etc.
":[337],"interpreter":[339,341],"language
":[345],"core":[349],"concepts":[350],"language:":[354],"actors,":[355],"artifacts,":[356],"parser":[359],"grammar":[361],"generated":[363,471],"parser
":[364],"examples":[366,621],"tutorial":[368,394,620],"examples
":[369,377,395],"test_data":[371],"test":[373,652,690],"data":[374],"utils":[379],"external":[381],"libraries":[382],"development
":[385],"run_examples.sh":[387],"smoke_test_all_tools.sh":[397],"report":[399],"information":[401,634],"config/":[408],"folder
":[409],"LICENSE":[411],"license":[415],"file
":[416],"```":[417,484],"Usage
":[419],"Run":[420],"`bin/coveriteam":[421,628],"--help`":[422],"see":[424],"command":[426],"line":[427],"arguments.
":[428],"values":[430],"by":[432],"program":[435,450],"passed":[437],"using":[438,569,692],"`--input`":[440],"parameter":[441],"followed":[442],"by
":[443],"`key=value`":[445],"pair":[446],"file.":[451],"```bash
":[452],"bin/coveriteam
":[453],"--input":[454,462],"key1=val1":[455],"(pass":[456],"input":[457],"parameters":[458],"program)
":[461,483],"key2=val2":[463],"(...":[464],"so":[466],"on)
":[467],"--gen-code":[468],"(print":[469,478],"python":[472],"code":[473],"instead":[474],"executing)
":[476],"--debug":[477],"debug":[479],"messages)
":[480],"<program_file>":[481],"(CoVeriTest":[482],"On":[485,581],"successful":[486],"uniquely":[489],"created":[493],"`cvt-output`.
":[497],"1)":[501],"produced":[504,554],"during":[505],"actor,
":[510],"2)":[512],"xml":[514],"`execution_trace.xml`":[517],"containing":[518,551],"trace":[521],"composition,
":[524],"i.e.,":[525],"resource":[527],"measurements":[528],"paths":[533],"produced.":[537],"In":[538],"addition":[539],"this,":[541],"symbolic":[543],"link":[544],"`lastexecution`":[546],"pointing":[547],"artifacts
":[553],"latest":[557],"also":[560],"created.":[561],"Atomic":[563],"Actors
":[564],"on":[568,689,700],"off-the-shelf":[570],"testing":[573],"verification
":[577],"actors.
":[580],"first":[583],"execution,":[584],"automatically":[586],"downloads":[587],"unzips":[589],"archives":[591],"contain
":[593],"used":[597,650],"program.
":[601],"URL":[604],"specified":[606],"atomic-actor":[610],"definition.
":[611],"we":[616],"use":[617],"[config/](config/)":[626],"folder.":[627,674],"--tool-info":[629],"<YAML":[630],"file>`
":[632],"prints":[633,663],"(including":[635],"name":[636],"version)":[638],"about":[639],"actor":[641,656,669],"defined":[642,670],"file.
":[646],"can":[648],"be":[649,687],"if":[653],"was":[657],"successfully":[658],"installed.
":[659],"`smoke_test_all_tools.sh`":[662],"info":[666],"each":[668],"`config/`":[673],"Tutorial
":[676],"[examples/](examples/)":[678],"few":[682],"compositions":[684],"can
":[686],"executed":[688],"inputs":[691],"[examples/run_examples.sh](examples/run_examples.sh).
":[695],"description":[697],"[tutorial":[702],"page](examples/README.md).":[703]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}