Software Open Access

Implementation of the SemSlice Tool

Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich


JSON-LD (schema.org) Export

{
  "description": "<p>This data set contains the source code and implementation of SemSlice, a tool for automatic and precise porgram slicing, which was presented&nbsp;in <a href=\"http://dx.doi.org/10.1007/978-3-319-66845-1_20\">http://dx.doi.org/10.1007/978-3-319-66845-1_20</a>&nbsp;</p>\n\n<p>Software<br>\n---------</p>\n\n<p>The folder &quot;src&quot; contains the source code of SemSlice which can also be found at:</p>\n\n<p><a href=\"https://github.com/mattulbrich/llreve/tree/slicing\">https://github.com/mattulbrich/llreve/tree/slicing</a></p>\n\n<p>The folder &quot;vm&quot; contains an Ubuntu-based Virtualbox&nbsp;virtual machine in which SemSlice is set up and ready<br>\nto run on the benchmark programs. Check the readme file in this folder for information on how to run the vm.</p>", 
  "license": "http://labs.metacarta.com/license-explanation.html#license", 
  "creator": [
    {
      "affiliation": "Karlsruhe Institute of Technology", 
      "@type": "Person", 
      "name": "Bernhard Beckert"
    }, 
    {
      "@type": "Person", 
      "name": "Thorsten Bormer"
    }, 
    {
      "affiliation": "KTH Royal Institute of Technology", 
      "@type": "Person", 
      "name": "Stephan Gocht"
    }, 
    {
      "affiliation": "Karlsruhe Institute of Technology", 
      "@id": "https://orcid.org/0000-0002-0142-1718", 
      "@type": "Person", 
      "name": "Mihai Herda"
    }, 
    {
      "@type": "Person", 
      "name": "Daniel Lentzsch"
    }, 
    {
      "affiliation": "Karlsruhe Institute of Technology", 
      "@type": "Person", 
      "name": "Mattias Ulbrich"
    }
  ], 
  "hasPart": [
    {
      "@id": "https://github.com/mattulbrich/llreve/tree/slicing", 
      "@type": "CreativeWork"
    }
  ], 
  "datePublished": "2019-07-14", 
  "url": "https://zenodo.org/record/3334553", 
  "version": "1", 
  "keywords": [
    "Program Slicing", 
    "Relational Verification", 
    "Formal Methods"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3334553", 
  "@id": "https://doi.org/10.5281/zenodo.3334553", 
  "@type": "SoftwareSourceCode", 
  "name": "Implementation of the SemSlice Tool"
}
56
2
views
downloads
All versions This version
Views 5657
Downloads 22
Data volume 5.5 GB5.5 GB
Unique views 4243
Unique downloads 22

Share

Cite as