| corrective predicate < correctness < correctness by construction | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003238 (2008-07-07) | Loïc Fejoz [France] ; Stephan Merz [France] | Towards automatic proofs of lock-free algorithms |
| 003A15 (2007-06-15) | Loïc Fejoz [France] ; Stephan Merz [France] | Dérivation d'algorithmes sans verrou à partir d'une spécification atomique |
| 003B25 (2007-03-24) | Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Trustworthy interface compliancy: data model adaptation using B refinement |
| 004369 (2006) | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Ensuring specification correctness by construction |
| 004383 (2006) | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Developing Specifications by using Operators: a Process to guarantee correctness by construction |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i -k "correctness"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i \
-Sk "correctness" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Checkpoint
|type= indexItem
|index= KwdEn.i
|clé= correctness
}}
| This area was generated with Dilib version V0.6.33. |  |