{"id":"https://openalex.org/W1981117659","doi":"https://doi.org/10.4304/jsw.7.6.1358-1366","title":"Biddy \u2014 a Multi-platform Academic BDD Package","display_name":"Biddy \u2014 a Multi-platform Academic BDD Package","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W1981117659","doi":"https://doi.org/10.4304/jsw.7.6.1358-1366","mag":"1981117659"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.7.6.1358-1366","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.7.6.1358-1366","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","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/A5002444619","display_name":"Robert Meolic","orcid":"https://orcid.org/0000-0003-3395-1227"},"institutions":[{"id":"https://openalex.org/I37696226","display_name":"University of Maribor","ror":"https://ror.org/01d5jce07","country_code":"SI","type":"education","lineage":["https://openalex.org/I37696226"]}],"countries":["SI"],"is_corresponding":true,"raw_author_name":"Robert Meolic","raw_affiliation_strings":["University of Maribor#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Maribor#TAB#","institution_ids":["https://openalex.org/I37696226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5002444619"],"corresponding_institution_ids":["https://openalex.org/I37696226"],"apc_list":null,"apc_paid":null,"fwci":1.0108,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.75491329,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"7","issue":"6","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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":0.9986000061035156,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9725000262260437,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.9292908906936646}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9292908906936646}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jsw.7.6.1358-1366","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.7.6.1358-1366","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W35103870","https://openalex.org/W1491217533","https://openalex.org/W1498432697","https://openalex.org/W1504306462","https://openalex.org/W1589504134","https://openalex.org/W1596778355","https://openalex.org/W1994143452","https://openalex.org/W1997299288","https://openalex.org/W2080267935","https://openalex.org/W2096076317","https://openalex.org/W2133491672","https://openalex.org/W2135453964","https://openalex.org/W2166145987","https://openalex.org/W2183693545","https://openalex.org/W2241988237","https://openalex.org/W2399508366","https://openalex.org/W4214616294","https://openalex.org/W4231842458","https://openalex.org/W4299835756","https://openalex.org/W6649583567","https://openalex.org/W6684505609"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2096946506","https://openalex.org/W2350741829","https://openalex.org/W3004735627","https://openalex.org/W2130043461"],"abstract_inverted_index":{"Biddy":[0,67],"is":[1,69,94],"a":[2,36,80,97],"BDD":[3,37,44,89],"package":[4],"under":[5],"GPL,":[6],"developed":[7],"at":[8],"the":[9,22,66,74,84],"University":[10],"of":[11,35,60,86],"Maribor.":[12],"It":[13],"uses":[14],"ROBDDs":[15],"with":[16,73],"comple\u00adment":[17],"edges,":[18],"as":[19],"described":[20],"in":[21,103],"paper":[23],"K.":[24],"S.":[25],"Brace,":[26],"R.":[27,30],"L.":[28],"Rudell,":[29],"E.":[31],"Bryant,":[32],"Efficient":[33],"Implementation":[34],"Package,":[38],"1990.":[39],"Compared":[40],"to":[41],"other":[42],"available":[43],"packages,":[45],"Biddy's":[46],"most":[47],"distinguishing":[48],"features":[49],"are":[50],"its":[51],"specially":[52],"de\u00adsigned":[53],"C":[54],"interface":[55],"and":[56,99,115],"an":[57],"original":[58],"implementation":[59],"auto\u00admatic":[61],"garbage":[62],"collection.":[63],"More":[64],"generally,":[65],"project":[68,93],"not":[70],"only":[71],"concerned":[72],"computer":[75],"library,":[76],"but":[77],"also":[78],"of\u00adfers":[79],"demo":[81],"application":[82],"for":[83],"visualization":[85],"BDDs,":[87],"called":[88],"Scout.":[90],"The":[91],"whole":[92],"oriented":[95],"towards":[96],"read\u00adable":[98],"comprehensible":[100],"source":[101],"code":[102],"C,":[104],"which":[105],"can":[106],"be":[107],"compiled":[108],"unchanged":[109],"on":[110],"different":[111],"platforms,":[112],"including":[113],"GNU/Linux":[114],"MS":[116],"Windows.":[117]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}