Add to ORKGInternational audienceDans le cadre d’un projet plus vaste de formalisation de la combinatoire, nous présentons dans cet article deux opérations sur les permutations, leur implémentation en C sous forme de fonctions modifiant des tableaux d’entiers, et leur spécification formelle en ACSL. Après avoir spécifié des invariants de boucle adaptés, nous prouvons automatiquement que ces fonctions préservent lespermutations, avec l’outil Frama-C et son greffon WP
RésuméOn donne l'énoncé d'un théorème sur les réarrangements d'applications d'un ensemble fini dans ...
National audienceDans cet article, nous présentons quelques modèles du calcul des constructions avec...
peer reviewedLe présent article a pour objet de décrire l’expérience que nous avons menée tout au lo...
International audienceDans le cadre d’un projet plus vaste de formalisation de la combinatoire, nous...
International audienceL’énumération est une technique élémentaire de génération automatique de donné...
National audienceLa représentation mathématique des objets géométriques, la complexité et le nombre ...
International audienceLe paradigme de permutation de tâche s’est imposé ces dernières années dans l’...
Cette thèse est une contribution à l'étude des arrangements. L'idée est le calcul de la combinatoire...
Cette thèse est une contribution à l'étude des arrangements. L'idée est le calcul de la combinatoire...
Cette thèse est une contribution à l'étude des arrangements. L'idée est le calcul de la combinatoire...
International audienceNotre article vise à faire le point sur les conditions de réutilisation des sc...
Voici n lettres ; de combien de manières peut-on en modifier l’ordre ? Qui touche peu ou prou, sans ...
AbstractNous présentons dans cet article un algorithme qui permet de construire parmi les tableaux s...
National audienceDans cet article, nous présentons quelques modèles du calcul des constructions avec...
National audienceLa transformation de modèles est l’un des piliers de l’ingénierie dirigée par les m...
RésuméOn donne l'énoncé d'un théorème sur les réarrangements d'applications d'un ensemble fini dans ...
National audienceDans cet article, nous présentons quelques modèles du calcul des constructions avec...
peer reviewedLe présent article a pour objet de décrire l’expérience que nous avons menée tout au lo...
International audienceDans le cadre d’un projet plus vaste de formalisation de la combinatoire, nous...
International audienceL’énumération est une technique élémentaire de génération automatique de donné...
National audienceLa représentation mathématique des objets géométriques, la complexité et le nombre ...
International audienceLe paradigme de permutation de tâche s’est imposé ces dernières années dans l’...
Cette thèse est une contribution à l'étude des arrangements. L'idée est le calcul de la combinatoire...
Cette thèse est une contribution à l'étude des arrangements. L'idée est le calcul de la combinatoire...
Cette thèse est une contribution à l'étude des arrangements. L'idée est le calcul de la combinatoire...
International audienceNotre article vise à faire le point sur les conditions de réutilisation des sc...
Voici n lettres ; de combien de manières peut-on en modifier l’ordre ? Qui touche peu ou prou, sans ...
AbstractNous présentons dans cet article un algorithme qui permet de construire parmi les tableaux s...
National audienceDans cet article, nous présentons quelques modèles du calcul des constructions avec...
National audienceLa transformation de modèles est l’un des piliers de l’ingénierie dirigée par les m...
RésuméOn donne l'énoncé d'un théorème sur les réarrangements d'applications d'un ensemble fini dans ...
National audienceDans cet article, nous présentons quelques modèles du calcul des constructions avec...
peer reviewedLe présent article a pour objet de décrire l’expérience que nous avons menée tout au lo...