Langage pour la vérification de modèles par contraintes

Pierre Talbot 1 Clément Poncelet Sanchez 1
1 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
Résumé : La vérification de modèles consiste à établir la satisfiabilité d'une formule logique pour un système donné. Ceci implique l'exploration des états du système par des algorithmes de recherche exhaustifs pouvant être coûteux. Ces algorithmes sont souvent propres aux outils de vérification de modèles et, à l'instar de la programmation par contraintes, efficaces seulement pour une classe de problèmes. Ces outils manquent donc de modularité. Afin de résoudre ce problème, nous proposons le paradigme de programmation espace-temps, basé sur la théorie des treillis et la programmation synchrone, qui considère une stratégie de recherche comme un ensemble de processus collaborant pour explorer un espace d'état. Nous utilisons ce langage pour réunir la programmation par contraintes et la vérification de modèles et explorons son utilité pour vérifier des propriétés logiques.
Type de document :
Communication dans un congrès
Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France. 2017, Actes des Treizièmes Journées Francophones de la Programmation par Contraintes. 〈http://www.cril.univ-artois.fr/jfpc2017〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01562692
Contributeur : Pierre Talbot <>
Soumis le : lundi 17 juillet 2017 - 08:25:06
Dernière modification le : jeudi 11 janvier 2018 - 02:08:25

Fichier

jfpc2017.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01562692, version 1

Collections

Citation

Pierre Talbot, Clément Poncelet Sanchez. Langage pour la vérification de modèles par contraintes. Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France. 2017, Actes des Treizièmes Journées Francophones de la Programmation par Contraintes. 〈http://www.cril.univ-artois.fr/jfpc2017〉. 〈hal-01562692〉

Partager

Métriques

Consultations de la notice

53

Téléchargements de fichiers

30