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="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <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:description>This data set contains the source code and implementation of SemSlice, a tool for automatic and precise porgram slicing, which was presented in 


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

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: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>
All versions This version
Views 4849
Downloads 22
Data volume 5.5 GB5.5 GB
Unique views 3536
Unique downloads 22


Cite as