Framework for the Verification of Choreographies