verication < verification < verification and refinement

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000116 (2005)	Damian Barsotti ; Leonor Prensa Nieto ; Alwen Tiu	Verification of Clock Synchronization Algorithms : Experiments on a combination of deductive tools
000174 (2005)	Véronique Cortier ; Michael Rusinowitch ; Eugen Zalinescu	A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures
000270 (2005)	Alexander Knapp ; Stephan Merz ; Martin Wirsing ; Julia Zappe	Specification and Refinement of Mobile Systems in MTLA and Mobile UML
000366 (2005)	Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre Jacquot	Consistency in UML and B multi-view specifications
000441 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Verification of behavioral elements of UML models using B
000475 (2005)	Eunyoung Kang ; Stephan Merz	Predicate Diagrams for the Verification of Real-Time Systems
000562 (2004)	Stephan Merz	TLA+ Case Study : A Resource Allocator
000592 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
000615 (2004)	Nicolas Biri ; Didier Galmiche	Resource Tree and Logics for Distribution - abstract
000659 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Boo - A formal approach to specification and verification of object-oriented system
000738 (2004)	Vincent Debruyne ; Françoise Simonot-Lion ; Yvon Trinquet	EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
000739 (2004)	Vincent Debruyne ; Françoise Simonot-Lion ; Yvon Trinquet	EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
000803 (2004)	Yannick Chevalier ; Laurent Vigneron	Strategy for Verifying Security Protocols with Unbounded Message Size
000808 (2004)	Ninh Thuan Truong ; Jeanine Souquières	An approach for the verification of UML models using B
000974 (2003)	Duc-Khanh Tran	Coopération de procédures de décision : étude et implantation
000C81 (2003)	Ninh-Thuan Truong ; Jeanine Souquières	An approach for the verification of UML models using B
000C94 (2003)	Alice Halter ; Gerardo Satriano ; Françoise Simonot-Lion ; Jens Hermann ; Mikael Nolin	Verification and Validation techniques used by EAST partners
000D73 (2003)	Stephan Merz	On the Logic of TLA+
000E18 (2002)	Jörn Migge ; Françoise Simonot-Lion ; Jean-Pierre Elloy ; Yvon Trinquet	AIL_Transport, User Manual V3
000E99 (2002)	Quang Huy Nguyen	Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve
000F19 (2002)	Françoise Simonot-Lion ; Jean-Pierre Elloy ; Yvon Trinquet	AIL_Transport : Un langage de description d'architecture électronique embarquée dans l'automobile

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i -k "verification" 

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

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

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

---

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