Fichier:PVS screenshot.gif
Taille de cet aperçu : 601 × 599 pixels. Autres résolutions : 241 × 240 pixels | 481 × 480 pixels | 692 × 690 pixels.
Fichier d’origine (692 × 690 pixels, taille du fichier : 71 kio, type MIME : image/gif)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
| Description |
English: Screenshot of the PVS prover, from a 2003 master's thesis. |
|||
| Date | ||||
| Source |
|
|||
| Auteur | Ubhayakar, Sonali S. |
Conditions d’utilisation
(license inherited from source file:)
|
Ce média est dans le domaine public des États-Unis d’Amérique car son auteur est l’administration américaine comme précisé dans le code fédéral au Titre 17, Chapitre 1, Section 105. Pour en savoir plus : droit d’auteur.
Attention : Ceci ne concerne que le travail du Gouvernement Fédéral et pas celui des États, ou d’une autre subdivision géographique ou politique du pays.
|
 |
| Ce fichier a été identifié comme étant exempt de restrictions connues liées au droit d’auteur, y compris tous les droits connexes et voisins. | ||
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 23 octobre 2020 à 14:38 | | 692 × 690 (71 kio) | Jochen Burghardt | Uploaded a work by Ubhayakar, Sonali S. from {{extracted from|File:Evaluation of program specification and verification systems (IA evaluationofprog10945893).pdf|(p.84)}} with UploadWizard |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur en.wiki.x.io
