Fouetter Le gestionnaire symbolique basé sur LIEGE Automata (Lash)
Télécharger maintenant

Fouetter Classement & Résumé

Fouetter Mots clés

manipuler représenter représenter un ensemble infini Représentation finie de l'état manipuler automate ensemble infini

Fouetter La description

Le gestionnaire symbolique basé sur Liège Automata (Lash) Lash est un outil d'ensemble pour représenter des ensembles infinis et explorer des espaces d'état infinis. Il est basé sur des représentations finies-étatiques, qui repose sur des automates finis-État pour représenter et manipuler des ensembles d'infinis de valeurs sur divers domaines de données. Voici quelques caractéristiques clés de "Lash": C Bibliothèques fournissant des fonctions et des types de données pour effectuer les tâches suivantes: · Construire et manipuler certains types d'automates de l'état fini (sur des mots finis et infinis). · Manipuler et représenter des ensembles de valeurs infinies et finies. · Explorer l'espace d'état des systèmes composés d'un contrôle fini et de variables entières non liées sur lesquelles des opérations linéaires sont effectuées. Front-sets pour: · Compiler des modèles de programmes exprimés dans les langues simples-promela et les langues simples, et explorant l'espace d'état de ces programmes. · Résoudre les problèmes exprimés dans les arithmétiques de Presburger.

Fouetter Logiciels associés