Process Algebra Ve'rifier