ContractAutomataLib » 1.0.0

Library for specifying and verifying contract automata.

Tagsgithub

HomePage https://github.com/ContractAutomataProject/ContractAutomataL ... 🔍 Inspect URL

Links

DateApr 24, 2022

Filespom (14 KB) jar (108 KB)View All

RepositoriesCentral

Ranking

#568769in MvnRepository

💡

Newer Version Available

1.0.0→1.0.2

(0 changes)

Maven
Gradle
SBT
Mill
Ivy
Grape
Leiningen
Buildr

Scope:

Include backlinks

<dependency>
    <groupId>io.github.contractautomataproject</groupId>
    <artifactId>catlib</artifactId>
    <version>1.0.0</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("io.github.contractautomataproject:catlib:1.0.0")

Scope:

Include backlinks

libraryDependencies += "io.github.contractautomataproject" % "catlib" % "1.0.0"

Scope:

Include backlinks

ivy"io.github.contractautomataproject:catlib:1.0.0"

Scope:

Include backlinks

<dependency org="io.github.contractautomataproject" name="catlib" rev="1.0.0"/>

Scope:

Include backlinks

@Grapes(
    @Grab(group='io.github.contractautomataproject', module='catlib', version='1.0.0')
)

Scope:

Include backlinks

[io.github.contractautomataproject/catlib "1.0.0"]

Scope:

Include backlinks

'io.github.contractautomataproject:catlib:jar:1.0.0'

Licenses

License

URL

>GNU General Public License v3.0

http://www.gnu.org/licenses/gpl-3.0.rdf

Developers

Name Email Dev Id Roles Organization

Davide Basile davide.basile<at>isti.cnr.it ISTI CNR

Current Group

Categories (289)

ContractAutomataLib » 1.0.0

Licenses

Developers

Indexed Repositories (3780)

Popular Tags

About