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
000E80 (1992)	Y. Benkhellat ; M. Siebert ; J.-P. Thomesse	Interoperability of Sensors and Distributed Systems
001070 (1993)	Y. Benkhellat ; J.-P. Thomesse	Vérification de l'interopérabilité. Une approche théorique
001969 (1995)	A. Mokkedem ; D. Méry	On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
001D89 (1997)	Laurent Kaiser ; Ousmane Koné	Une méthode de vérification d'interopérabilité temporelle
001E74 (1997)	Laurent Thomas ; Juliette Mattioli ; Bertrand Jeannet ; Jean Jourdan ; Françoise Simonot-Lion ; Laurent Kaiser ; Joël Toussaint ; Mireille Bayart ; Chris Choukair ; Marie-Agnes Peraldi ; Charles André ; Anne-Marie Deplanche ; Yvon Trinquet	Construction et Validation d'Architectures DIStribuées temps réel Rapport intermédiaire de contrat No96448 DRET-DGA et No96C0076 DGRT-MENESR
001E82 (1997)	Joël Toussaint ; Christophe Philippe ; Françoise Simonot-Lion	A Model of CAN-based Applications for the Verification of Temporal Properties
001E83 (1997)	Joël Toussaint ; Françoise Simonot-Lion ; Jean-Pierre Thomesse	Time Constraints Verification Methods Based on Time Petri Nets
001F75 (1997)	Joël Toussaint	Modélisation d'applications temps réel réparties pour la validation de propriétés temporelles Méthodologie de construction de modèles et algorithmes de validation
002201 (1998)	Dominique Méry ; Jean-Francois Pétin	Formal engineering methods for modelling and verification of control systems
002208 (1998)	Narjes Berregeb ; Adel Bouhoula ; Michaël Rusinowitch	Observational Proofs with Critical Contexts
002387 (1998)	Yassine Mokhtari	The invoice system problem in TLA+
002504 (1999)	Alessandro Armando ; Gilles Defourneaux ; Michael Rusinowitch ; Sorin Stratulat	Integrating decision procedures in Spike
002589 (1999)	Peter Ladkin ; Leslie Lamport ; Bryan Olivier ; Denis Roegel	Lazy Caching in TLA
002606 (1999)	Sergiu Adrian Darabant	Current Technologies in Automatic Test Suites Generation and Verification of Complex Systems
002758 (1999)	Françoise Simonot-Lion	Une contribution à la modélisation et à la validation d'architectures temps réel
002806 (1999)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Compiling and narrowing cryptographic protocols
002933 (2000)	Eugène Asarin ; Olivier Bournez ; Thao Dang ; Oded Maler	Approximate reachability analysis of piecewise-linear dynamical systems
002953 (2000)	Olivier Bournez ; Oded Maler	On the representation of timed polyhedra
002B11 (2000)	Dominique Cansell ; Dominique Méry ; Stephan Merz	Predicate diagrams for the verification of reactive systems
002B70 (2000)	Michael Rusinowitch ; Sorin Stratulat ; Francis Klay	Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
002D84 (2001)	Yannick Chevalier ; Laurent Vigneron	Towards Efficient Automated Verification of Security Protocols

---

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |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