Tripoli-4 : Verification and validation