mojo provides fast analyzes for your business processes
...It provides new researched compiler-based analysis techniques which supports very good failure location.
The software can be used under the GNU Lesser General Public License (LPGL): http://www.gnu.org/licenses/lgpl-3.0.txt