{"id":"https://openalex.org/W6893765967","doi":"https://doi.org/10.5281/zenodo.3630166","title":"Tool Package for Article 'MetaVal: Witness Validation via Verification'","display_name":"Tool Package for Article 'MetaVal: Witness Validation via Verification'","publication_year":2020,"publication_date":"2020-01-29","ids":{"openalex":"https://openalex.org/W6893765967","doi":"https://doi.org/10.5281/zenodo.3630166"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:3630166","is_oa":true,"landing_page_url":"https://zenodo.org/record/3630166","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/3630166","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":"last","author":{"id":null,"display_name":"Spiessl, Martin","orcid":null},"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":"Spiessl, Martin","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":null,"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":0,"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/artifact","display_name":"Artifact (error)","score":0.724399983882904},{"id":"https://openalex.org/keywords/host","display_name":"Host (biology)","score":0.6065999865531921},{"id":"https://openalex.org/keywords/witness","display_name":"Witness","score":0.5371999740600586},{"id":"https://openalex.org/keywords/central-processing-unit","display_name":"Central processing unit","score":0.412200003862381},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.39430001378059387},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.37869998812675476}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.724399983882904},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6988000273704529},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.6065999865531921},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5640000104904175},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.5371999740600586},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.42489999532699585},{"id":"https://openalex.org/C49154492","wikidata":"https://www.wikidata.org/wiki/Q5300","display_name":"Central processing unit","level":2,"score":0.412200003862381},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.39430001378059387},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.37869998812675476},{"id":"https://openalex.org/C2776240298","wikidata":"https://www.wikidata.org/wiki/Q1138513","display_name":"Turbo","level":2,"score":0.35040000081062317},{"id":"https://openalex.org/C2984074130","wikidata":"https://www.wikidata.org/wiki/Q73539779","display_name":"R package","level":2,"score":0.33730000257492065},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.32829999923706055},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.30320000648498535},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.28610000014305115},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2612999975681305}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:3630166","is_oa":true,"landing_page_url":"https://zenodo.org/record/3630166","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.3630166","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.3630166","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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:3630166","is_oa":true,"landing_page_url":"https://zenodo.org/record/3630166","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"is":[1,17],"the":[2,35,70,131,137,146],"tool":[3,147,155],"package":[4],"for":[5,14],"article":[6],"'MetaVal:":[7],"Witness":[8],"Validation":[9],"via":[10],"Verification'.":[11],"The":[12,43,77,93,121],"VM":[13,122],"this":[15],"artifact":[16,78],"configured":[18],"to":[19,47,55,66,142,144],"use":[20,145],"2":[21],"CPU":[22,88,94],"cores":[23],"and":[24,89,102,112,128,148,156],"10":[25,49],"GB":[26,50,61],"of":[27,91,99,107],"RAM.<br>":[28,92],"Both":[29,110],"can":[30],"be":[31,48,67],"lowered":[32],"in":[33,53,64],"case":[34],"host":[36,83,111],"system":[37,114],"does":[38],"not":[39],"provide":[40],"these":[41],"requirements.<br>":[42],"memory":[44],"was":[45,51,79],"chosen":[46,52],"order":[54,65],"guarantee<br>":[56],"that":[57,72,152],"at":[58],"least":[59],"7":[60],"are":[62,73],"available":[63],"consistent":[68],"with":[69,85,139],"resources<br>":[71],"allowed":[74],"by":[75],"SV-COMP.":[76],"tested":[80],"on":[81,141],"a":[82,96,103,124,149],"machine":[84],"an":[86],"i5-7440HQ":[87],"31GB":[90],"has":[95,123],"base":[97],"frequency":[98,106],"2.80":[100],"GHz":[101],"turbo":[104],"boost":[105],"3.80":[108],"GHz.<br>":[109],"guest":[113],"used":[115],"Ubuntu":[116],"18.04":[117],"as":[118,126],"operating":[119],"system.":[120],"cav20":[125],"username":[127],"password.<br>":[129],"In":[130],"home":[132],"directory,":[133],"you":[134],"will":[135],"find":[136],"README.md":[138],"instructions<br>":[140],"how":[143],"folder":[150],"\"cav20\"<br>":[151],"contains":[153],"our":[154],"some":[157],"exemplary":[158],"witnesses.":[159]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}