Metadata
Author: cordis
Data
German[de]
Die Schlüsselfunktionen des UVE-Tools umfassen Verifizierung einer Reihe zeitlicher logischer Formeln wie Prüfung der Erreichbarkeit, Beständigkeit, Liveness und Safety.
English[en]
Key functionalities of UVE tool include verification of a set of temporal logic formulas, such as check of reachability, invariance, liveness and safety.
Spanish[es]
Las funcionalidades más importantes de la herramienta UVE son la verificación de una serie de fórmulas lógicas temporales, como la comprobación del alcance, la invariancia, la ejecución y la seguridad.
French[fr]
Les principales fonctionnalités de l'outil UVE sont la vérification d'un ensemble de formules logiques temporelles, comme la vérification de l'accessibilité, de l'invariance, de la vivacité et de la sécurité.
Italian[it]
Le principali funzionalità dello strumento UVE includono la verifica di una serie di formule logiche temporali (ad esempio il controllo di accessibilità, invarianza, vitalità e sicurezza).