Projects
These are some projects I carried out or contributed to:
- OCLsolve: A solver for UML/OCL constraints
- OCLexec: Code generation from UML/OCL models
- HOL-TestGen: Test generation from HOL specifications
These are some projects I carried out or contributed to: