PascalFr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « PascalFr.i » - entrée « Vérification formelle »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Vérification expérimentale < Vérification formelle < Vérification modèle  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000003 (2014) Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada]Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis
000026 (2013) Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France]Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
000164 (2010) Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France]Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs
000304 (2007) MOHAMED SALAH BOUASSIDA [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France]Automated Verification of a Key Management Architecture for Hierarchical Group Protocols : Sécurité des réseaux et des systèmes d'information
000333 (2006) NINH THUAN TRUONG [France] ; Jeanine Souquieres [France]Verification of UML model elements using B : Software Engineering and Software
000336 (2006) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]Towards formal verification of web service composition
000342 (2006) Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France]The Twist-AUgmented Technique for Key Exchange
000348 (2006) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]Specification and refinement of mobile systems in MTLA and mobile UML
000382 (2006) Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France]Formal design and verification of operational transformation algorithms for copies convergence
000394 (2006) David Deharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]Decision procedures for the formal analysis of software
000700 (2003) Dominique Cansell [France] ; Dominique Méry [France]Foundations of the B method
000726 (2003) Laurent Fousse [France] ; Paul Zimmermann [France]Accurate summation: Towards a simpler and formal proof
000803 (2002) David Deharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France]Improving symbolic model checking by rewriting temporal logic formulae
000868 (2001) Hung Ledang [France]Des cas d'utilisation à une spécification B
000960 (2000) D. Cansell [France] ; D. Mery [France] ; C. Tabacznyj [France]Tutorial 1 : Abstraction and refinement of concurrent programs and formal specification a practical view
000984 (2000) O. Bournez [France] ; O. Maler [France]On the representation of timed polyhedra
000988 (2000) M. Rusinowitch [France] ; S. Stratulat [France] ; F. Klay [France]Mechanical verification of an ideal incremental ABR conformance algorithm
000A01 (2000) P. Gibson [Irlande (pays)] ; D. Mery [France]Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach
000B67 (1998) R. Couturier [France] ; D. Mery [France]An experiment in parallelizing an application using formal methods: Computer aided parallelization

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i -k "Vérification formelle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i  \
                -Sk "Vérification formelle" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    PascalFr.i
   |clé=    Vérification formelle
}}
Wicri

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