La version 7.1 de l’outil VisualState s'attaque à la vérification formelle des machines d’état
Publié le 16-04-2013
par Francois Gauthier
Avec la version 7.1 de son outil de conception de systèmes embarqués complexes orientés événement ou état, le suédois IAR Systems renforce les possibilités de vérification formelle des programmes écrits ...sous la forme de...
Je m'abonne
La lecture de cet article est réservé aux abonnés payants du site.
Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :
| Durée | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 1 an | Complet | 200 euros HT |
-dissolve-basic-fr(1).jpg)
- 23/04/2013 – Altera annonce la disponibilité d’un kit de développement pour ses circuits Cyclone V
- 23/04/2013 – Mentor rapproche développeurs logiciels et développeurs hardware
- 18/04/2013 – Et si l'environnement Yocto était l’avenir de Linux dans l’embarqué ?
- 12/04/2013 – MathWorks facilite l’utilisation de flots hybrides Matlab-Simulink
- 12/04/2013 – Programmation en langage humain pour l’environnement Kallisté d’Adas
- 11/04/2013 – Cyrille Comar, Adacore : "Ada a une belle carte à jouer dans les systèmes critiques de demain"
