Skip to content

com.github.unive-ssv.tarsis 1.0 Latest version

Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
  <groupId>com.github.unive-ssv</groupId>
  <artifactId>tarsis</artifactId>
  <version>1.0</version>
</dependency>
Install 2/2: Run via command line
$ mvn install

About this package

Documentation

No description available yet.

The 1.0 version of this package has been published Jan 21, 2021.

Details

  • @UniVE-SSV UniVE-SSV
  • January 21, 2021
  • 3 dependencies
  • MIT License

Assets

Download activity

  • Total downloads 1
  • Last 30 days 0
  • Last week 0
  • Today 0

Topics

static-analysis automaton abstract-interpretation abstract-domain string-analysis

Recent versions

  • 1.0Jan 21, 2021