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
View online : PragmaDev web site

Contact | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 729817