DRINKS is a set of smart web-based widgets.
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
If you need to experiment for free with XMI 2.1
Complete XMI 2.1 Projects to reverse code engineering If you need to experiment for free with XMI 2.1 From these projects you could automatically generate source code. Used by the italian philosopher, fantasy writer and programmer Usai Luigi to automatically create source code in many languages.
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.