A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. - Mourad Debbabi; Abdelkader Benzakour; Béchir Ktari (AMAST, 1998)