Verimag

Cooperation PragmaDev

2006-2015

PragmaDev has integrated and distributes some of the tools from the IF toolbox (static analysis, model-checking) for validation of SDL-RT systems.

Verimag people involved

  • Marius Bozga
  • Susanne Graf
Voir en ligne : PragmaDev web site

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876201