Implementation of the Combined Approach

Software OPEN Record in preview
Bernhard Beckert; Simon Bischof; Mihai Herda; Michael Kirsten; Marko Kleine Büning; Holger Klein; Joachim Müssig;

<p>This data set contains the implementation of the Combined Approach -- a tool which combines the theorem prover KeY with the static analysis tool JOANA.</p> <p>In the folder &quot;build&quot; there are two jar files.</p> <p>- CombinedApproach.jar is the main applica... View more
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software)
  • Cite this software