v

vdmcheck

iA suite of tools for checking FMUs
INTO-CPS Association Public License
INTO CPS
checking suite fmus tools
Files download
File Operation
vdmcheck-1.1.3.pom download
Apache Maven 
<dependency>
  <groupId>org.into-cps</groupId>
  <artifactId>vdmcheck</artifactId>
  <version>1.1.3</version>
  <type>pom</type>
</dependency>
Gradle Groovy 
implementation 'org.into-cps:vdmcheck:1.1.3'
Gradle Kotlin 
implementation("org.into-cps:vdmcheck:1.1.3")
Scala SBT 
libraryDependencies += "org.into-cps" % "vdmcheck" % "1.1.3"
Groovy Grape 
@Grapes(
  @Grab(group='org.into-cps', module='vdmcheck', version='1.1.3')
)
Apache Ivy 
<dependency org="org.into-cps" name="vdmcheck" rev="1.1.3" />
Leiningen 
[org.into-cps/vdmcheck "1.1.3"]
Apache Buildr 
'org.into-cps:vdmcheck:jar:1.1.3'
Dependencies 
<parent>
  <groupId>org.sonatype.oss</groupId>
  <artifactId>oss-parent</artifactId>
  <version>7</version>
</parent>
The project has no third-party dependencies