Formal engineering of the bitonic sort using pvs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Formal engineering of the bitonic sort using pvs

Résumé

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

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00098539 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098539 , version 1

Citer

Raphaël Couturier. Formal engineering of the bitonic sort using pvs. 2nd Irish Workshop in Formal Methods - IWFM'98, 1998, Cork, irlande, 16 p. ⟨inria-00098539⟩
47 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More