WSymb
WSymb est un outil d'analyse de la complexité temporelle des programmes informatiques. Il permet de calculer la durée d'exécution potentielle maximale d'un programme en générant des formules symboliques pour représenter les temps d'exécution.
Cas d'utilisation métiers
- Analyse de la complexité temporelle des programmes informatiques : rechercher des initiatives proches
- Calcul de la durée d'exécution potentielle maximale d'un programme : rechercher des initiatives proches
- Génération de formules symboliques pour représenter les temps d'exécution : rechercher des initiatives proches
Organisation
- Université de Lille (organisation rattachée)
Description générée le mardi 19 mars 2024 à 17:53:31