Software Open Access

Implementation of the SemSlice Tool

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


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Bernhard Beckert</dc:creator>
  <dc:creator>Thorsten Bormer</dc:creator>
  <dc:creator>Stephan Gocht</dc:creator>
  <dc:creator>Mihai Herda</dc:creator>
  <dc:creator>Daniel Lentzsch</dc:creator>
  <dc:creator>Mattias Ulbrich</dc:creator>
  <dc:date>2019-07-14</dc:date>
  <dc:description>This data set contains the source code and implementation of SemSlice, a tool for automatic and precise porgram slicing, which was presented in http://dx.doi.org/10.1007/978-3-319-66845-1_20 

Software
---------

The folder "src" contains the source code of SemSlice which can also be found at:

https://github.com/mattulbrich/llreve/tree/slicing

The folder "vm" contains an Ubuntu-based Virtualbox virtual machine in which SemSlice is set up and ready
to run on the benchmark programs. Check the readme file in this folder for information on how to run the vm.</dc:description>
  <dc:identifier>https://zenodo.org/record/3334553</dc:identifier>
  <dc:identifier>10.5281/zenodo.3334553</dc:identifier>
  <dc:identifier>oai:zenodo.org:3334553</dc:identifier>
  <dc:relation>doi:10.1007/978-3-319-66845-1_20</dc:relation>
  <dc:relation>url:https://github.com/mattulbrich/llreve/tree/slicing</dc:relation>
  <dc:relation>doi:10.5281/zenodo.3334571</dc:relation>
  <dc:relation>doi:10.5281/zenodo.3334552</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>http://labs.metacarta.com/license-explanation.html#license</dc:rights>
  <dc:subject>Program Slicing</dc:subject>
  <dc:subject>Relational Verification</dc:subject>
  <dc:subject>Formal Methods</dc:subject>
  <dc:title>Implementation of the SemSlice Tool</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
48
2
views
downloads
All versions This version
Views 4849
Downloads 22
Data volume 5.5 GB5.5 GB
Unique views 3536
Unique downloads 22

Share

Cite as