Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.
Categories
QA AutomationLicense
GNU General Public License version 2.0 (GPLv2)Follow verbus
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of verbus!