{"id":"https://openalex.org/W7131632328","doi":"https://doi.org/10.5281/zenodo.18784823","title":"A-Team artefact","display_name":"A-Team artefact","publication_year":2026,"publication_date":"2026-02-26","ids":{"openalex":"https://openalex.org/W7131632328","doi":"https://doi.org/10.5281/zenodo.18784823"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.18784823","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18784823","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":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.18784823","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045860912","display_name":"Jos\u00e9 Proen\u00e7a","orcid":"https://orcid.org/0000-0003-0971-8919"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Proen\u00e7a, Jos\u00e9","raw_affiliation_strings":["Universidade do Porto"],"raw_orcid":"https://orcid.org/0000-0003-0971-8919","affiliations":[{"raw_affiliation_string":"Universidade do Porto","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"middle","author":{"id":null,"display_name":"ter Beek, Maurice H.","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"ter Beek, Maurice H.","raw_affiliation_strings":["National Research Council"],"raw_orcid":"https://orcid.org/0000-0002-2930-6367","affiliations":[{"raw_affiliation_string":"National Research Council","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055266810","display_name":"Davide Basile","orcid":"https://orcid.org/0000-0002-7196-6609"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"BASILE, Davide","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\""],"raw_orcid":"https://orcid.org/0000-0002-7196-6609","affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/snapshot","display_name":"Snapshot (computer storage)","score":0.7493000030517578},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.5587000250816345},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5182999968528748},{"id":"https://openalex.org/keywords/software-tool","display_name":"Software tool","score":0.48399999737739563},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4758000075817108},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.42559999227523804},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.38260000944137573},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.3569999933242798}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8337000012397766},{"id":"https://openalex.org/C55282118","wikidata":"https://www.wikidata.org/wiki/Q252683","display_name":"Snapshot (computer storage)","level":2,"score":0.7493000030517578},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5996000170707703},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.5587000250816345},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5182999968528748},{"id":"https://openalex.org/C2984968299","wikidata":"https://www.wikidata.org/wiki/Q1077784","display_name":"Software tool","level":3,"score":0.48399999737739563},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4758000075817108},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.42559999227523804},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.38260000944137573},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3612000048160553},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.3569999933242798},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.3366999924182892},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.3192000091075897},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31769999861717224},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3050000071525574},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C97250363","wikidata":"https://www.wikidata.org/wiki/Q235557","display_name":"File format","level":2,"score":0.28060001134872437},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.25690001249313354},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.2558000087738037},{"id":"https://openalex.org/C1668388","wikidata":"https://www.wikidata.org/wiki/Q1149776","display_name":"Data management","level":2,"score":0.2531000077724457}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.18784823","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18784823","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":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.18784823","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18784823","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":"Software"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,15,115],"software":[1],"artefact":[2],"accompanies":[3],"a":[4,28,34,59,101,120],"paper":[5],"entitled":[6],"\"Asynchronous":[7],"Team":[8],"Automata\",":[9],"accepted":[10],"at":[11,98],"FM":[12],"2026":[13],"symposium.":[14],"tool":[16,39,52,105,124],"is":[17,40],"web-based,":[18],"compiled":[19],"to":[20,130,135],"JavaScript,":[21],"and":[22,44,74,82,100,133],"can":[23,53,94,106],"be":[24,95,107],"executed":[25],"by":[26,110],"opening":[27,111],"provided":[29],"HTML":[30],"file":[31],"that":[32],"loads":[33],"companion":[35,137],"JavaScript":[36],"file.":[37],"The":[38,50,87],"developed":[41],"in":[42,117],"Scala":[43],"uses":[45],"our":[46],"CAOS":[47],"libraries":[48],"(https://github.com/arcalab/CAOS).":[49],"A-Team":[51],"load":[54],"an":[55],"input":[56],"program,":[57],"describing":[58],"network":[60],"of":[61,70,90,103,122],"communicating":[62],"processes,":[63],"present":[64],"graphical":[65],"step-by-step":[66],"animations,":[67],"perform":[68,75],"traversals":[69],"the":[71,104,112,123,136],"full":[72],"state-space,":[73],"some":[76],"static":[77],"analysis":[78],"(e.g.,":[79],"type":[80],"checking":[81],"search":[83],"for":[84],"undesirable":[85],"states).":[86],"latest":[88],"version":[89,116],"all":[91],"source":[92],"code":[93],"found":[96],"online":[97],"https://www.github.com/fm-dcc/a-team,":[99],"snapshot":[102,121],"immediately":[108],"loaded":[109],"site":[113],"https://fm-dcc.github.io/a-team.":[114],"Zenodo":[118],"provides":[119],"from":[125],"Github":[126],"with":[127],"extra":[128],"instructions":[129],"help":[131],"compiling":[132],"relating":[134],"paper.":[138]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-02-27T00:00:00"}