MySQL WorkBench was always crashing on my Windows machine. That was some years ago so it may have improved.