{
    "@context": [
        "https:\/\/doi.org\/doi:10.5063\/schema\/codemeta-2.0",
        "http:\/\/schema.org"
    ],
    "@type": "SoftwareSourceCode",
    "name": "DdAutomata (Automata tools)",
    "description": "DdAutomata is a set of tools to manipulate automata mainly used in the context of model based diagnosis (Diades collection).  Among the proposed tools, ddautomata can determine, minimize, simulate, synchronize automata. It also can compute observers, diagnosers, fault signatures, twin plants, consistent traces...",
    "dateCreated": "2024-11-12",
    "datePublished": "2024-11-12",
    "license": [
        "BSD 2-Clause License"
    ],
    "url": "https:\/\/hal.science\/hal-04779083",
    "identifier": [
        {
            "@type": "hal",
            "propertyID": "https:\/\/hal.science\/hal-04779083",
            "value": "hal-04779083"
        },
        {
            "@type": "swhid",
            "propertyID": "https:\/\/archive.softwareheritage.org\/swh:1:dir:66a436ed79218d8109f9927cd1281e3bf431274a;origin=https:\/\/gitlab.laas.fr\/ypencole\/ddautomata;visit=swh:1:snp:5c1726eef243ee48acf81a695b3db87a84e29165;anchor=swh:1:rev:6cf0cd89ea8e6d030258d48895eb7ce6daf8456f",
            "value": "swh:1:dir:66a436ed79218d8109f9927cd1281e3bf431274a;origin=https:\/\/gitlab.laas.fr\/ypencole\/ddautomata;visit=swh:1:snp:5c1726eef243ee48acf81a695b3db87a84e29165;anchor=swh:1:rev:6cf0cd89ea8e6d030258d48895eb7ce6daf8456f"
        }
    ],
    "applicationCategory": [
        "info.info-fl"
    ],
    "keywords": [
        "Automata",
        "Model-based diagnosis"
    ],
    "codeRepository": "https:\/\/gitlab.laas.fr\/ypencole\/ddautomata",
    "programmingLanguage": [
        "C++"
    ],
    "operatingSystem": [
        "Linux",
        "Windows"
    ],
    "version": "1",
    "softwareVersion": "0.1",
    "dateModified": "2025-10-22",
    "developmentStatus": "Actif",
    "referencePublication": [
        "Rapport LAAS n\u00b0 24550"
    ],
    "author": [
        {
            "@type": "Role",
            "roleName": "aut",
            "author": {
                "@type": "Person",
                "@id": [
                    "0000-0002-2970-914X"
                ],
                "givenName": "Yannick",
                "familyName": "Pencol\u00e9",
                "affiliation": [
                    {
                        "@type": "Organization",
                        "name": "LAAS-DISCO"
                    }
                ]
            }
        }
    ],
    "contributor": [
        {
            "@type": "Person",
            "givenName": "Yannick",
            "familyName": "Pencol\u00e9"
        }
    ]
}