pronoun < proof < proof assistant

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]

Ident.	Authors (with country if any)	Title
000926 (1990)	D. Méry	Proving and Developing Concurrent Programs : A Small System
001209 (1993)	P. Marquis	Sur les preuves non éductives en intelligence artificielle
001B32 (1995)	O. Hermann	Mécanisation de la recherche de preuves et de programmes en Arithmétique Fonctionnelle du Second Ordre
001E17 (1997)	Bruno Mermet ; Dominique Méry	Détection d'interactions de services : une approche avec B
002111 (1998)	Raphaël Couturier ; Dominique Méry	An experiment in parallelizing an application using formal methods
002504 (1999)	Alessandro Armando ; Gilles Defourneaux ; Michael Rusinowitch ; Sorin Stratulat	Integrating decision procedures in Spike
002720 (1999)	Francis Alexandre ; Khaled Bsaies	Stratégies de dérivations de programmes logiques
002924 (2000)	Raphaël Couturier	Utilisation des méthodes formelles pour le développement de programmes parallèles
002B70 (2000)	Michael Rusinowitch ; Sorin Stratulat ; Francis Klay	Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
002C57 (2000)	Francis Alexandre ; Khaled Bsaies	Pliage et récurrence pour le construction de programme
002F66 (2001)	Claude Kirchner	ELAN : Modélisation et preuve en calcul de réécriture
003052 (2001)	Airy Weinzoepflen	Développement Incrémental Prouvé de Systèmes
003638 (2002)	Moussa Demba ; Francis Alexandre ; Khaled Bsaïes	Correction de conjectures faussses
003785 (2003)	Jean-Raymond Abrial ; Dominique Cansell ; Dominique Méry	Formal derivation of spanning trees algorithms
003786 (2003)	Dominique Cansell ; Dominique Méry	Foundations of the B method
003C18 (2003)	Issam Chebbi	Aide à la preuve et à la validation en programmation par règles
003C42 (2003)	Dominique Cansell	Assistance au développement incrémental et à sa preuve
003D75 (2004)	Olfa Mosbahi ; Jacques Jaray	Une démarche formelle de développement de systèmes de contrôle-commande
003D76 (2004)	Olfa Mosbahi ; Jacques Jaray	Représentation du temps en B événementiel pour la modélisation des systèmes temps réel
003F08 (2004)	Cyril Proch ; Dominique Cansell ; Dominique Mery	Projet RNRT EQUAST ; SP2 Spécification incrémentale du système
004040 (2005)	Dominique Méry ; Dominique Cansell ; Cyril Proch ; Denis Abraham ; Patrick Ditsch	The challenge of QoS for digital television services

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "proof" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "proof" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    proof
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022