This is our entry for the 2006 National Open Source Software Competition. It has been open sourced on SourceForge. It is a formal verification tool for BPEL.
You Might Like
Recommended ContentMore
Open source project More
Popular Components
Searched by Users
Just Take a LookMore
Trending Downloads
Trending ArticlesMore