Package Descriptions for Ubuntu

Browsing French translation

  1. Series raring
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
49090 of 76009 results First • • • Last
49090.
Maria finds deadlocks and violations against safety or liveness requirements by exploring all states that can be reached from the initial state of a system. The tool manages tens or hundreds of millions of reachable states and enabled actions.
 
Description
Maria trouve les impasses et les violations de sécurité ou de besoins de «[nbsp]liveness[nbsp]» en explorant tous les états pouvant être atteints depuis l'état initial du système. L'outil gère des dizaines ou centaines de milliers d'états atteignables et d'actions activées.
Translated by Michael Vogt
Located in Package: maria
49090 of 76009 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.