Evènement pour le groupe Modélisation et Verification


Date 2014-06-02  11:30-12:30
TitreWhy Amazon Chose TLA+ 
RésuméSince 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. This talk describes the reasons why we chose TLA+ instead of other methods, how we’ve applied it so far, and areas in which we would welcome further progress. 
LieuAmphi du LaBRI 
OrateurChris Newcombe 
UrlAmazon.com 



Aucun document lié à cet événement.

Retour
Retour à l'index