Implementation of the Combined Approach

Bernhard Beckert; Simon Bischof; Mihai Herda; Michael Kirsten; Marko Kleine Büning; Holger Klein; Joachim Müssig;
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.3359433
  • Subject: Noninterference | Formal Methods | Static Analysis | Deductive Theorem Proving | Information Flow

<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 a... View more
Share - Bookmark

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