Extraction de Témoins

Le processus consistant à produire un témoin concret, un contre-exemple ou une assignation satisfaisante à partir d'un objet de preuve, d'une réfutation, d'un modèle ou d'une trace de solveur afin que les assertions existentielles ou les résultats de satisfiabilité soient attestés par des artefacts explicites.