pta2maude
Le projet pta2maude fournit une sémantique en logique de réécriture pour les automates paramétriques en temps réel (PTAs) et montre que l'analyse de portée symbolique utilisant Maude-with-SMT est sound et complete pour le problème de portée des PTAs. Il inclut des benchmarks comparant nos méthodes avec Imitator.
Cas d'utilisation métiers
- Comparaison de performances d'outils de vérification : rechercher des initiatives proches
- Analyse de systèmes paramétriques en temps réel : rechercher des initiatives proches
- Génération de modèles formels à partir d'entrées informelles : rechercher des initiatives proches
- Vérification de propriétés sur des automates : rechercher des initiatives proches
Cas d'utilisation fonctionnel
Organisation
- Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace (organisation rattachée)
Description générée le mardi 19 mars 2024 à 08:52:50
D'autres initiatives de la même organisation
- #dataESRdata.esr.gouv.fr
- French Open Science Monitorfrenchopensciencemonitor.esr.gouv.fr
- CurieXplorecuriexplore.enseignementsup-recherche.gouv.fr
- Works-magnetworks-magnet.esr.gouv.fr