Formal engineering of the bitonic sort using pvs
Abstract
Dans ce papier nous présentons une preuve du tri bitonique réalisé avec PVS, un outil de vérification. Tout d'abord nous rappelons le principe de ce tri. Il est basé sur les listes bitoniques qui ont des propriétés intéressantes qui peuvent etre prouvées