Formal engineering of the bitonic sort using pvs

Raphaël Couturier 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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
Type de document :
Communication dans un congrès
Butterfield, Andrew and Flynn, Sharon. 2nd Irish Workshop in Formal Methods - IWFM'98, 1998, Cork, irlande, 16 p, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098539
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:13
Dernière modification le : mardi 24 avril 2018 - 13:34:56

Identifiants

  • HAL Id : inria-00098539, version 1

Collections

Citation

Raphaël Couturier. Formal engineering of the bitonic sort using pvs. Butterfield, Andrew and Flynn, Sharon. 2nd Irish Workshop in Formal Methods - IWFM'98, 1998, Cork, irlande, 16 p, 1998. 〈inria-00098539〉

Partager

Métriques

Consultations de la notice

71