jessie.desktop

Statut : 1-À faire1

jessie.desktop possède 0/32 éléments traduits et son contenu est traduit3 à 0%

Adresses du projet : homepage bugtracker

Chaînes

Champ Anglais Français
name jessie
summary Interface between why and Frama-C
description Jessie is an interface between why and Frama-C.Why is a software verification platform that applies formal proving tools to annotated programs. The Jessie plugin provide the ability to analyze C programs by invoking Frama-C.

Téléchargement du fichier XML source4 : jessie.desktop


  1. déduit sommairement des traductions en cours, avec une priorité pour un logiciel traduit à plus de 80%. 

  2. on ne s'intérresse ici qu'au nom, au sous-titre et à la description. 

  3. basé sur appstream glib qui indique dans son fichier as-translation n'inclure que les fichiers gettext et QT. 

  4. il s'agit d'un extrait de https://alt.fedoraproject.org/pub/alt/screenshots/f24/

Liens utiles

Communauté