model-checker

'org.walkmod:model-checker:1.0'

<dependency>
	<groupId>org.walkmod</groupId>
	<artifactId>model-checker</artifactId>
	<version>1.0</version>
</dependency>

<dependency org="org.walkmod" name="model-checker" rev="1.0"/>

"org.walkmod", "model-checker", "1.0"