@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix org: <http://www.w3.org/ns/org#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://data.nasa.gov/dataset/5fb1312a-917d-4fea-952b-ba439b189dfe> a dcat:Dataset ;
    dct:description "Pathdroid is a framework to analyze binary Android applications for program defects and malicious behaviors. Pathdroid is based on the Java Pathfinder (JPF) verification system (http://babelfish.arc.nasa.gov/trac/jpf), and thus provides model checking capabilities for applications that are distributed as standard Android .dex or .apk files." ;
    dct:identifier "OCIO-Fitara-133" ;
    dct:issued "2015-01-07"^^xsd:date ;
    dct:modified "2020-01-29"^^xsd:date ;
    dct:publisher <https://data.nasa.gov/organization/dbb294e4-8597-44f5-aaf4-c0baac12cdbc> ;
    dct:title "ARC Code TI: PathDroid" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "Peter Mehlitz" ;
            vcard:hasEmail <mailto:peter.mehlitz@nasa.gov> ] ;
    dcat:keyword "java",
        "java-pathfinder",
        "jpf",
        "model-checking",
        "pathdroid",
        "verification" ;
    dcat:theme <%7BManagement/Operations%7D> .

<https://data.nasa.gov/organization/dbb294e4-8597-44f5-aaf4-c0baac12cdbc> a org:Organization ;
    skos:prefLabel "NASA" ;
    foaf:name "NASA" .