Model Checking, Tla Plus, TLC, Java, Concurrency.
the millions and this is just unacceptable. After solving the immediate problem the way programmers solve every problem (that is, by pulling the plug and restarting the whole darn thing), and after profusely apologizing for any inconvenience caused to his customer, our developer decides that his