[Javapathfinder-devel] Model checking XPDL via JavaPathFinder

[Taehoon L. <ta...@ky...>]

Hi, I would like to indroduce new extension which verify XPDL via JPF.The XPDL is a business process definition language. The XPDL verification framework is similar to statechart model checking extension. If no one disapprove my contribution, I will commit the code within a week.-- Taehoon Lee