Inria
|
Raweb
2014 | Exploratory Action
Section: New Results
Highlights of the Year
The Plasma statistical model checker has been made available to other scientists. ESTASYS has open a new branch on verifying the security of complex systems.