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.