The Verification extension for Business Process Modeling Tool (VxBPM) is a business process modeling tool which provides control flow verification of business process models. The tool is written using the Java programming language and features

• BPMN BPD design abilities,
• Saving and loading to XPDL format,
• Automated pattern-based model transformation to CPN,
• Automated generation of the Kripke structures required for verification,
• Automated verification using one of multiple model checkers, and
• Transparent visual and textual feedback of the generated models and verification results.