Formal engineering of the bitonic sort using pvs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

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

Domains

Other [cs.OH]
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00098539 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More