The "/vdrift/VDrift-2007-..03-23-full-2.package" file could not be found or is not available. Please select another file.

verbus

alpha
Add a Review
1 Download (This Week)
Download verbus-src-0.1a7.tgz
Browse All Files

Description

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.

verbus Web Site
Write a Review

User Reviews

Be the first to post a review of verbus!

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.