A VDM model checker for Model Definition

License	INTO-CPS Association Public License
GroupId	org.into-cps.orchestration
ArtifactId	modeldefinitionchecker
Last Version	1.0.10
Release Date	Apr 24, 2020
Type	jar
Description	A VDM model checker for Model Definition
Project Organization	INTO CPS

Download modeldefinitionchecker

Filename	Size
modeldefinitionchecker-1.0.10.pom
modeldefinitionchecker-1.0.10.jar	52 KB
modeldefinitionchecker-1.0.10-sources.jar	31 KB
modeldefinitionchecker-1.0.10-javadoc.jar	157 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.into-cps.orchestration/modeldefinitionchecker/ -->
<dependency>
    <groupId>org.into-cps.orchestration</groupId>
    <artifactId>modeldefinitionchecker</artifactId>
    <version>1.0.10</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.into-cps.orchestration/modeldefinitionchecker/
implementation 'org.into-cps.orchestration:modeldefinitionchecker:1.0.10'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.into-cps.orchestration/modeldefinitionchecker/
implementation ("org.into-cps.orchestration:modeldefinitionchecker:1.0.10")

Apache Buildr

'org.into-cps.orchestration:modeldefinitionchecker:jar:1.0.10'

Apache Ivy

<dependency org="org.into-cps.orchestration" name="modeldefinitionchecker" rev="1.0.10">
  <artifact name="modeldefinitionchecker" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.into-cps.orchestration', module='modeldefinitionchecker', version='1.0.10')
)

Scala SBT

libraryDependencies += "org.into-cps.orchestration" % "modeldefinitionchecker" % "1.0.10"

Leiningen

[org.into-cps.orchestration/modeldefinitionchecker "1.0.10"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.overturetool.core.codegen : codegen-runtime	jar	2.4.4
org.into-cps : modeldefinition	jar	1.0.10
org.powermock : powermock-module-junit4	jar	1.7.4

test (3)

Group / Artifact	Type	Version
junit : junit	jar	4.12
org.mockito : mockito-core	jar	2.28.2
org.powermock : powermock-api-mockito	jar	1.7.4

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.10 Apr 24, 2020
1.0.6 Nov 25, 2019
1.0.4 Sep 27, 2019
1.0.2 Sep 13, 2018
1.0.0 Feb 21, 2018