Cooperation PragmaDev


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.1.12 + AHUNTSIC [CC License]

info visites 1627195