== History ==The code name "Midori" was first discovered through the PowerPoint presentation "CHESS: A systematic testing tool for concurrent software".
El nombre clave de Midori se conoció en un principio a través de la presentación en PowerPoint "CHESS: A systematic testing tool for concurrent software".