FIP Verification and Traceability Workshop