OCL->forAll(pre and post)

As I pinned some days ago I am very interested in verification and validation methods. While thinking in preconditions, invariants and stuff OCL came to my mind and I started diving the web looking for a OCL parser and I found an OCL ANTLR grammar: http://www.cs.columbia.edu/~akonstan/ocl/

Benjamin (HP workmate) pointed me to an Java/C++ parser tool which I can’t remember!!

I am starting a personal projects page to write down all I have in mind and get some feedback from the wee community which read this blog.

Do not forget Dresden OCL Toolkit