26 août 2016
CLEARSY a été invitée (http://issre.net/keynotes) à présenter son expérience quant à l’utilisation de méthodes formelles pour des applications industrielles sûres (safe) et sécuritaires (secure), à l’occasion de la conférence ISSRE 2016 (27th International Symposium on Software Reliability Engineering) qui aura lieu du 23 au 27 Octobre 2016 à Ottawa.
L’exposé intitulé « industrial use of formal methods for safe and secure systems » complétera ceux de Rajeev Joshi (NASA Jet Propulsion Laboratory) et Philip Koopman (Carnegy Mellon University).