- Joined on
Jun 23, 2011
- jbool_expressions 0 jbool_expressions is a simple open-source library for creating and manipulating propositional logic expressions in java
- JsQuickUnit 0 Quickly define and run unit tests in any test framework.
- SyVOLTEditor 0 SyVOLT (SYmbolic Verification Of modeL Transformations) is symbolic execution based technique I have developed for proving syntax model relation properties of model transformations.
- TransformationVerificationMbeddr 0
- TrNet 0 A model transformation language for efficient and analyzable operations