Software Open Access

Implementation of the Combined Approach

Bernhard Beckert; Simon Bischof; Mihai Herda; Michael Kirsten; Marko Kleine Büning; Holger Klein; Joachim Müssig


DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:cnt="http://www.w3.org/2011/content#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.3359433">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Software"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.3359433</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.3359433"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Bernhard Beckert</foaf:name>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Simon Bischof</foaf:name>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0002-0142-1718">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Mihai Herda</foaf:name>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Michael Kirsten</foaf:name>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Marko Kleine Büning</foaf:name>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Holger Klein</foaf:name>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Joachim Müssig</foaf:name>
      </rdf:Description>
    </dct:creator>
    <dct:title>Implementation of the Combined Approach</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2019</dct:issued>
    <dcat:keyword>Noninterference</dcat:keyword>
    <dcat:keyword>Formal Methods</dcat:keyword>
    <dcat:keyword>Static Analysis</dcat:keyword>
    <dcat:keyword>Deductive Theorem Proving</dcat:keyword>
    <dcat:keyword>Information Flow</dcat:keyword>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2019-08-03</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/3359433"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/3359433</skos:notation>
      </adms:Identifier>
    </adms:identifier>
    <dct:relation rdf:resource="https://doi.org/10.5281/zenodo.3359387"/>
    <foaf:page rdf:resource="https://doi.org/10.1007/978-3-030-02450-5_17"/>
    <dct:isPartOf rdf:resource="https://git.scc.kit.edu/py8074/keyjoana"/>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.3359432"/>
    <owl:versionInfo>1</owl:versionInfo>
    <dct:description>&lt;p&gt;This data set contains the implementation of the Combined Approach -- a tool which combines the theorem prover KeY with the static analysis tool JOANA.&lt;/p&gt; &lt;p&gt;In the folder &amp;quot;build&amp;quot; there are two jar files.&lt;/p&gt; &lt;p&gt;- CombinedApproach.jar is the main application that combines KeY and Joana. It works by loading a .joak file which contains the paths to the source code, compiled jar, to KeY and some others which are not always needed. The .joak file also contains the annotation of the high sources and low sinks of the program. With CombinedApproach.jar the user can analyze some summary edges in the SDG with KeY and show that there is no real dependency between the formal in and formal out nodes that correspond to that summary edge.&amp;nbsp;&lt;/p&gt; &lt;p&gt;- CombinedApproachSpec.jar ist the a utlity for generating .joak files.&lt;/p&gt; &lt;p&gt;The source code of the Combined Approach is in the &amp;quot;src&amp;quot; folder, which also contains the necessary libraries.&lt;/p&gt; &lt;p&gt;Note that the GUI of the Combined Approach was developed with Java FX.&lt;/p&gt;</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dct:rights>
          <dct:RightsStatement rdf:about="http://www.gnu.org/licenses/old-licenses/lgpl-2.0-standalone.html">
            <rdfs:label>GNU Library General Public License v2 or later</rdfs:label>
          </dct:RightsStatement>
        </dct:rights>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.3359433"/>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
31
1
views
downloads
All versions This version
Views 3131
Downloads 11
Data volume 411.4 MB411.4 MB
Unique views 3030
Unique downloads 11

Share

Cite as