#conception-sure-de-systemes-reactifs-embarques-critiques

Du Lustre aux jolies leds

Au laboratoire Verimag, les scientifiques cherchent à aider les ingénieurs à prouver automatiquement que leurs programmes sont corrects. Pour...