{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2021-04-28T12:43:05.999160+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "enabled": true, "entries": { "CAV2021.ova": { "checksum": "md5:9e143df10123754f7d888526db1db7a3", "ext": "ova", "id": "55be7f30-8e3c-4ff5-a898-381cdd3edfb0", "key": "CAV2021.ova", "metadata": null, "mimetype": "application/octet-stream", "size": 6577721856 } }, "order": [], "total_bytes": 6577721856 }, "id": "4725172", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/4725172/access", "access_links": "https://zenodo.org/api/records/4725172/access/links", "access_request": "https://zenodo.org/api/records/4725172/access/request", "access_users": "https://zenodo.org/api/records/4725172/access/users", "archive": "https://zenodo.org/api/records/4725172/files-archive", "archive_media": "https://zenodo.org/api/records/4725172/media-files-archive", "communities": "https://zenodo.org/api/records/4725172/communities", "communities-suggestions": "https://zenodo.org/api/records/4725172/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.4725172", "draft": "https://zenodo.org/api/records/4725172/draft", "files": "https://zenodo.org/api/records/4725172/files", "latest": "https://zenodo.org/api/records/4725172/versions/latest", "latest_html": "https://zenodo.org/records/4725172/latest", "media_files": "https://zenodo.org/api/records/4725172/media-files", "parent": "https://zenodo.org/api/records/4721314", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.4721314", "parent_html": "https://zenodo.org/records/4721314", "requests": "https://zenodo.org/api/records/4725172/requests", "reserve_doi": "https://zenodo.org/api/records/4725172/draft/pids/doi", "self": "https://zenodo.org/api/records/4725172", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.4725172", "self_html": "https://zenodo.org/records/4725172", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:4725172/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:4725172/sequence/default", "versions": "https://zenodo.org/api/records/4725172/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "CISPA Helmholtz Center for Information Security" } ], "person_or_org": { "family_name": "Swen Jacobs", "identifiers": [ { "identifier": "0000-0002-9051-4050", "scheme": "orcid" } ], "name": "Swen Jacobs", "type": "personal" } }, { "affiliations": [ { "name": "Saarland University, CISPA Helmholtz Center for Information Security" } ], "person_or_org": { "family_name": "Mouhammad Sakr", "identifiers": [ { "identifier": "0000-0002-5160-0327", "scheme": "orcid" } ], "name": "Mouhammad Sakr", "type": "personal" } } ], "description": "
AIGEN is an open source tool for the generation of transition systems in a symbolic representation. To ensure diversity, it employs a uniform random sampling over the space of all Boolean functions with a given number of variables. AIGEN relies on reduced ordered binary decision diagrams (ROBDDs) and canonical disjunctive normal form (CDNF) as canonical representations that allow us to enumerate Boolean functions, in the former case with an encoding that is inspired by data structures used to implement ROBDDs.
\n\n", "publication_date": "2021-04-26", "publisher": "Zenodo", "resource_type": { "id": "software", "title": { "de": "Software", "en": "Software" } }, "rights": [ { "description": { "en": "The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited." }, "icon": "cc-by-icon", "id": "cc-by-4.0", "props": { "scheme": "spdx", "url": "https://creativecommons.org/licenses/by/4.0/legalcode" }, "title": { "en": "Creative Commons Attribution 4.0 International" } } ], "subjects": [ { "subject": "Random Generation of Transition Systems" }, { "subject": "Random Generation of Symbolic Transition Systems" }, { "subject": "Random Generation of Boolean Functions" } ], "title": "AIGEN: Random Generation of Symbolic Boolean Functions and Transition Systems", "version": "2.0" }, "parent": { "access": { "owned_by": { "user": 217062 } }, "communities": {}, "id": "4721314", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.4721314", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.4725172", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:4725172", "provider": "oai" } }, "revision_id": 4, "stats": { "all_versions": { "data_volume": 480465259008.0, "downloads": 71, "unique_downloads": 69, "unique_views": 700, "views": 726 }, "this_version": { "data_volume": 263108874240.0, "downloads": 40, "unique_downloads": 39, "unique_views": 285, "views": 295 } }, "status": "published", "updated": "2021-06-03T14:39:55.169532+00:00", "versions": { "index": 2, "is_latest": false } }