SIMPA
SIMPA est un outil d'analyse et d'inférence de modèles de systèmes, permettant de générer des tests et de vérifier des propriétés à partir de protocoles de communication. Il offre une interface graphique et prend en charge différents types de systèmes, tels que les systèmes de type Mealy et EFSM.
Cas d'utilisation métiers
Organisation
- Université Grenoble Alpes (UGA) (organisation rattachée)
Outils utilisés
- JUnit : voir les initiatives de ses organisations qui l'ont aussi
- jsdom : voir les initiatives de ses organisations qui l'ont aussi
- MapStruct : voir les initiatives de ses organisations qui l'ont aussi
- Apache Ant : voir les initiatives de ses organisations qui l'ont aussi
- Spring Boot : voir les initiatives de ses organisations qui l'ont aussi
- JSONlite : voir les initiatives de ses organisations qui l'ont aussi
- Java EE : voir les initiatives de ses organisations qui l'ont aussi
- MQTT : voir les initiatives de ses organisations qui l'ont aussi
Description générée le lundi 18 mars 2024 à 13:21:27
D'autres initiatives de la même organisation
- Linboxgithub.com/linbox-team/linbox
- FFLAS-FFPACKgithub.com/linbox-team/fflas-ffpack
- Givarogithub.com/linbox-team/givaro
- Fidlegricad-gitlab.univ-grenoble-alpes.fr/talks/fidle