group: org.overturetool.core

fresh name packaging artifact id
The Overture Abstract Syntax Tree jar ast
Test Framework for Overture jar testframework
The VDM Interpreter jar interpreter
The VDM parser jar parser
The VDM Type Checker jar typechecker
The Proof Obligation Generator jar pog
Overture Core Command Line Tool jar commandlinetool
VDM Code Generator Runtime jar codegen-runtime
VDM Proof Obligation Generator jar pog-string-based
Overture Core VDMJ Client jar vdmjc
Code Generation pom codegen
Combinatorial Testing pom combinatorialtesting
Overture GUI Builder jar guibuilder
POG - Isagen Integration jar isapog
Model Checkers for VDM pom modelcheckers
New Pretty Printer jar npp
VDM Pretty Printing pom prettyprinting

© Jiri Pinkas 2015 - 2018. All rights reserved. Admin login To submit bugs / feature requests please use this github page
related: JavaVids | Top Java Blogs | Java školení | 4npm - npm search | monitored using: sitemonitoring
Apache and Apache Maven are trademarks of the Apache Software Foundation. The Central Repository is a service mark of Sonatype, Inc.