„Formel Verification“
Suchergebnisse
19 Treffer
-
On safety verification using PDR and Reverse PDR
-
Verification of programmable logic controller code using model checking and static analysis
-
WoLFram - A Word Level Framework for Formal Verification and its Application
-
Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
-
Verification of programmable logic controller code using model checking and static analysis
-
Runtime Verification Using a Temporal Description Logic Revisited
-
Analyse d'ordonnançabilité des STR multiprocesseur basée sur les RdPs
-
Méthodes formelles pour le parallélisme – Spécification, modélisation et vérification des systèmes concurrents
-
Une Approche de Spécification des Changements de Besoins
-
Modèles de temps pour la vérification des systèmes temps-réel
-
Preuves d'Algorithmes Distribués par Composition et Raffinement
-
L'approche UML+RT-Lotos pour la Spécification et la Validation – Cas des systèmes embarqués et temps réel
-
Développement Formel des Systèmes Automatisés – B événementiel et les propriétés de vivacité
-
Conception de systèmes d'information inter-organisationnels
-
WoLFram - a word level framework for formal verification and its application
-
Modeling the unknown using quantification
-
Synthèse et Compilation de Services Web Sécurisés
-
Sûreté des systèmes matériels – Vérification formelle, compositionnelle et automatique de systèmes de composants
-
Langage de spécification par propriétés (Cours + TD)