| License |
License |
|---|---|
| GroupId | GroupIdorg.into-cps.orchestration |
| ArtifactId | ArtifactIdmodeldefinitionchecker |
| Last Version | Last Version1.0.10 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionA VDM model checker for Model Definition
|
| Project Organization |
Project Organization |
JarCasting<!-- 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>// https://jarcasting.com/artifacts/org.into-cps.orchestration/modeldefinitionchecker/
implementation 'org.into-cps.orchestration:modeldefinitionchecker:1.0.10'// https://jarcasting.com/artifacts/org.into-cps.orchestration/modeldefinitionchecker/
implementation ("org.into-cps.orchestration:modeldefinitionchecker:1.0.10")'org.into-cps.orchestration:modeldefinitionchecker:jar:1.0.10'<dependency org="org.into-cps.orchestration" name="modeldefinitionchecker" rev="1.0.10">
<artifact name="modeldefinitionchecker" type="jar" />
</dependency>@Grapes(
@Grab(group='org.into-cps.orchestration', module='modeldefinitionchecker', version='1.0.10')
)libraryDependencies += "org.into-cps.orchestration" % "modeldefinitionchecker" % "1.0.10"[org.into-cps.orchestration/modeldefinitionchecker "1.0.10"]| 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 |
| 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 |