{
    "@context": [
        "https:\/\/doi.org\/doi:10.5063\/schema\/codemeta-2.0",
        "http:\/\/schema.org"
    ],
    "@type": "SoftwareSourceCode",
    "name": "Porridge, an OCaml library implementing POR techniques for checking trace equivalence of security protocols",
    "description": "",
    "dateCreated": "2018-06-28",
    "datePublished": "2018-06-28",
    "license": [
        "GNU General Public License v3.0 only"
    ],
    "url": "https:\/\/hal.science\/hal-01821474",
    "identifier": [
        {
            "@type": "hal",
            "propertyID": "https:\/\/hal.science\/hal-01821474",
            "value": "hal-01821474"
        },
        {
            "@type": "swhid",
            "propertyID": "https:\/\/archive.softwareheritage.org\/swh:1:dir:cf31343fd5744d56d7126b6cb99e96d29f5c0376;origin=https:\/\/hal.archives-ouvertes.fr\/hal-01821474;visit=swh:1:snp:7cade104d9b67487e422fe6cafbe53e5255c7804;anchor=swh:1:rev:f202e6b3543e7c3c14250b038e236868671d8d10;path=\/",
            "value": "swh:1:dir:cf31343fd5744d56d7126b6cb99e96d29f5c0376;origin=https:\/\/hal.archives-ouvertes.fr\/hal-01821474;visit=swh:1:snp:7cade104d9b67487e422fe6cafbe53e5255c7804;anchor=swh:1:rev:f202e6b3543e7c3c14250b038e236868671d8d10;path=\/"
        }
    ],
    "applicationCategory": [
        "info.info-lo",
        "info.info-cr"
    ],
    "version": "2",
    "dateModified": "2025-01-17",
    "author": [
        {
            "@type": "Role",
            "roleName": "aut",
            "author": {
                "@type": "Person",
                "@id": [
                    "0009-0003-3619-1232"
                ],
                "givenName": "David",
                "familyName": "Baelde",
                "affiliation": [
                    {
                        "@type": "Organization",
                        "name": "LSV"
                    }
                ]
            }
        },
        {
            "@type": "Role",
            "roleName": "aut",
            "author": {
                "@type": "Person",
                "@id": [
                    "0000-0002-9744-8834"
                ],
                "givenName": "St\u00e9phanie",
                "familyName": "Delaune"
            }
        },
        {
            "@type": "Role",
            "roleName": "aut",
            "author": {
                "@type": "Person",
                "@id": [
                    "0000-0003-4572-0581"
                ],
                "givenName": "Lucca",
                "familyName": "Hirschi"
            }
        }
    ],
    "contributor": [
        {
            "@type": "Person",
            "givenName": "David",
            "familyName": "Baelde"
        }
    ]
}