0
0 notes
Logiciel Systerel Smart Solver
Édité par la société
SYSTEREL
Toutes les captures d'écran
Communauté / région
Cible
Secteurs d'activité
Description
Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada
Systerel propose une gamme de solutions éprouvées industriellement pour l’analyse statique ou la preuve formelle de systèmes ou de logiciels à l’aide de technologies à base de Model Checking.
Systerel Smart Solver est un moteur d’analyse basé sur les technologies SAT.
Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada
Systerel propose une gamme de solutions éprouvées industriellement pour l’analyse statique ou la preuve formelle de systèmes ou de logiciels à l’aide de technologies à base de Model Checking.
Systerel Smart Solver est un moteur d’analyse basé sur les technologies SAT.
Fonctionnalités principales
Aucune fonctionnalité à présenter
Informations
Langues disponibles
Modes d'acquisition
Eléments d'estimation de coût
Prix non communiqué
/
Coût d'intégration non communiqué.
Environnement
Langues disponibles
Modes d'acquisition
Eléments d'estimation de coût
Prix non communiqué
/
Coût d'intégration non communiqué.
Environnement